A proof obligation generator for VDM-SL

Bernhard Aichernig, Peter Gorm Larsen

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Filter
Laufend

Suchergebnisse