Matthew K. O. Lee;Ib Sørensen
-;-
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems