A proof obligation generator for VDM-SL

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	deutsch
Titel	Industrial applications and strengthened foundations of formal methods
Erscheinungsort	Berlin
Herausgeber (Verlag)	Springer
Seiten	338-357
Band	1313
ISBN (Print)	3-540-63533-5
Publikationsstatus	Veröffentlicht - 1997
Veranstaltung	International Symposium of Formal Methods Europe - Graz, Österreich Dauer: 15 Sept. 1997 → 19 Sept. 1997

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer

Konferenz	International Symposium of Formal Methods Europe
Land/Gebiet	Österreich
Ort	Graz
Zeitraum	15/09/97 → 19/09/97

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

@inproceedings{65504cc9ed4741098c2695c65dc86acf,

title = "A proof obligation generator for VDM-SL",

author = "Bernhard Aichernig and Larsen, {Peter Gorm}",

year = "1997",

language = "deutsch",

isbn = "3-540-63533-5",

volume = "1313",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "338--357",

booktitle = "Industrial applications and strengthened foundations of formal methods",

note = "International Symposium of Formal Methods Europe ; Conference date: 15-09-1997 Through 19-09-1997",

}

TY - GEN

T1 - A proof obligation generator for VDM-SL

AU - Aichernig, Bernhard

AU - Larsen, Peter Gorm

PY - 1997

Y1 - 1997

M3 - Beitrag in einem Konferenzband

SN - 3-540-63533-5

VL - 1313

T3 - Lecture Notes in Computer Science

SP - 338

EP - 357

BT - Industrial applications and strengthened foundations of formal methods

PB - Springer

CY - Berlin

T2 - International Symposium of Formal Methods Europe

Y2 - 15 September 1997 through 19 September 1997

ER -