R. Paige;J. Ostroff
-;-
Proving theorems about JML classes
Formal methods and hybrid real-time systems