Flavio Ferrarotti, Josef Pichler, Michael Moser, Georg Buchgeher. Extracting High-Level System Specifications from Source Code via Abstract State Machines. In Klaus-Dieter Schewe, Neeraj Kumar Singh, editors, Model and Data Engineering - 9th International Conference, MEDI 2019, Toulouse, France, October 28-31, 2019, Proceedings. Volume 11815 of Lecture Notes in Computer Science, pages 267-283, Springer, 2019. [doi]
Abstract is missing.