Patrick J. McParland
-
Balancing insight and effort: the industrial uptake of formal methods
Formal methods and hybrid real-time systems
The real numbers in Z
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods