A proof obligation generator for VDM-SL

Bernhard Aichernig, Peter Gorm Larsen

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageGerman
Title of host publicationIndustrial applications and strengthened foundations of formal methods
Place of PublicationBerlin
PublisherSpringer
Pages338-357
Volume1313
ISBN (Print)3-540-63533-5
Publication statusPublished - 1997
EventInternational Symposium of Formal Methods Europe - Graz, Austria
Duration: 15 Sep 199719 Sep 1997

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Conference

ConferenceInternational Symposium of Formal Methods Europe
CountryAustria
CityGraz
Period15/09/9719/09/97

Cite this

Aichernig, B., & Larsen, P. G. (1997). A proof obligation generator for VDM-SL. In Industrial applications and strengthened foundations of formal methods (Vol. 1313, pp. 338-357). (Lecture Notes in Computer Science). Berlin: Springer.

A proof obligation generator for VDM-SL. / Aichernig, Bernhard; Larsen, Peter Gorm.

Industrial applications and strengthened foundations of formal methods. Vol. 1313 Berlin : Springer, 1997. p. 338-357 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B & Larsen, PG 1997, A proof obligation generator for VDM-SL. in Industrial applications and strengthened foundations of formal methods. vol. 1313, Lecture Notes in Computer Science, Springer, Berlin, pp. 338-357, International Symposium of Formal Methods Europe, Graz, Austria, 15/09/97.
Aichernig B, Larsen PG. A proof obligation generator for VDM-SL. In Industrial applications and strengthened foundations of formal methods. Vol. 1313. Berlin: Springer. 1997. p. 338-357. (Lecture Notes in Computer Science).
Aichernig, Bernhard ; Larsen, Peter Gorm. / A proof obligation generator for VDM-SL. Industrial applications and strengthened foundations of formal methods. Vol. 1313 Berlin : Springer, 1997. pp. 338-357 (Lecture Notes in Computer Science).
@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",

}

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

ER -