Vincenzo Ambriola;Giovanni A. Cignoni;Christer Fernström
-;-;-
On the integration of formal methods: events and Scenarios in PVS and VDM
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods