TIAPS Workshop at IFAD

Aichernig, B. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Generating Proof Obligations for VDM-SL Specifications
Period28 Nov 1996
Held atTIAPS Workshop at IFAD
Event typeWorkshop