Publikation

Stepwise abstraction of high-level system specifications from source code

Publikation, 2020

Outline

F. Ferrarotti, M. Moser, J. Pichler - Stepwise abstraction of high-level system specifications from source code - Journal of Computer Languages, 2020