FME’97: Industrial Applications and Strengthened Foundations of Formal Methods

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: A proof obligation generator for VDM-SL
Period18 Sep 1997
Held atFME’97: Industrial Applications and Strengthened Foundations of Formal Methods
Event typeConference