FME’97: Industrial Applications and Strengthened Foundations of Formal Methods

Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science

Beschreibung

Talk: A proof obligation generator for VDM-SL
Zeitraum18 Sept. 1997
EreignistitelFME’97: Industrial Applications and Strengthened Foundations of Formal Methods
VeranstaltungstypKonferenz