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

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

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