Items where Author is "Margaria, Tiziana"
 | Up a level |
Group by: Item Type | No Grouping
Jump to: Book Chapter
Number of items: 1.
Book Chapter
Breathnach, Ciara and Muhamad Ibrahim, Najhan and Clancy, Stuart and Margaria, Tiziana (2019) Towards model checking product lines in the digital humanities: an application to historical data. In: From Software Engineering to Formal Methods and Tools, and Back. Springer, pp. 338-364. ISBN 978-3-030-30984-8