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

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Konferenz oder FachtagungScience to science

Beschreibung

Talk: A proof obligation generator for VDM-SL
Zeitraum18 Sep 1997
Gehalten amFME’97: Industrial Applications and Strengthened Foundations of Formal Methods
VeranstaltungstypKonferenz