A proof obligation generator for VDM-SL

Bernhard Aichernig, Peter Gorm Larsen

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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