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, pp. 267-283
Cookies helfen uns bei der Bereitstellung unserer Dienste. Durch die Nutzung unserer Dienste erklären Sie sich damit einverstanden, dass wir Cookies setzen.