A proof obligation generator for VDM-SL

Bernhard Aichernig, Peter Gorm Larsen

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalsprachedeutsch
TitelIndustrial applications and strengthened foundations of formal methods
ErscheinungsortBerlin
Herausgeber (Verlag)Springer
Seiten338-357
Band1313
ISBN (Print)3-540-63533-5
PublikationsstatusVeröffentlicht - 1997
VeranstaltungInternational Symposium of Formal Methods Europe - Graz, Österreich
Dauer: 15 Sep 199719 Sep 1997

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer

Konferenz

KonferenzInternational Symposium of Formal Methods Europe
LandÖsterreich
OrtGraz
Zeitraum15/09/9719/09/97

Dieses zitieren