On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.

Georg Droschl On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. 1999 conf/iwfm/1999 IWFM db/conf/iwfm/iwfm1999.html#Droschl99