Georg Droschl. On the Integration of Formal Methods: Events and Scenarios in PVS and VDM. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.
No references recorded for this publication.
No citations of this publication recorded.