TIAPS Workshop at IFAD

Aktivität: Vortrag oder Präsentation › Vortrag bei Workshop, Seminar oder Kurs › Science to science

Beschreibung

Talk: Generating Proof Obligations for VDM-SL Specifications