TIAPS Workshop at IFAD

Aichernig, B. (Redner/in)

Aktivität: Vortrag oder PräsentationVortrag bei Workshop, Seminar oder KursScience to science

Beschreibung

Talk: Generating Proof Obligations for VDM-SL Specifications
Zeitraum28 Nov 1996
EreignistitelTIAPS Workshop at IFAD
VeranstaltungstypWorkshop