Extracting High-Level System Specifications from Source Code via Abstract State Machines
- Flavio Ferrarotti
- , Josef Pichler
- , Michael Moser
- , Georg Buchgeher
Publikation: Beitrag in Buch/Bericht/Tagungsband › Konferenzbeitrag › Begutachtung
1
Zitat
(Scopus)