Publikation

Extracting High-Level System Specifications from Source Code via Abstract State Machines

Publikation, 2019

Outline

F. Ferrarotti, J. Pichler, M. Moser, G. Buchgeher - Extracting High-Level System Specifications from Source Code via Abstract State Machines - International Conference on Model and Data Engineering, Tuolouse, France, Frankreich, 2019