Wouter Joosen;Stijn Bijnens;Johan Van Oeyen;Bert Robben;Frank Matthijs;Pierre Verbaeten;John W. Perram
-;-;-;-;-;-;-
Formalizing CORRELATE: from practice to pi
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods