Reusing Formal Models via Lifting

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Dana Dghaym, Colin Snook, Thai Son Hoang, Michael Butler

Journal title: 2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS)

Journal publisher: IEEE

Published year: 2018

Published pages: 189-192

DOI identifier: 10.1109/iceccs2018.2018.00029

ISBN: 978-1-5386-9341-4