A proof obligation generator for VDM-SL

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	German
Title of host publication	Industrial applications and strengthened foundations of formal methods
Place of Publication	Berlin
Publisher	Springer
Pages	338-357
Volume	1313
ISBN (Print)	3-540-63533-5
Publication status	Published - 1997
Event	International Symposium of Formal Methods Europe - Graz, Austria Duration: 15 Sept 1997 → 19 Sept 1997

Name	Lecture Notes in Computer Science
Publisher	Springer

Conference	International Symposium of Formal Methods Europe
Country/Territory	Austria
City	Graz
Period	15/09/97 → 19/09/97

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

@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 -