2019
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
mehr
