Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications - Suzana Andova, Annabelle McIver, Pedro D'Argenio, Pieter Cuijpers, Jasen Markovski

Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications - Suzana Andova, Annabelle McIver, Pedro D'Argenio, Pieter Cuijpers, Jasen Markovski | Arena