TIAPS Workshop at IFAD

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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