Kevin Lano
-
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Formalising design patterns
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods