External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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

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]

Authors

Flavio Ferrarotti

This author has not been identified. Look up 'Flavio Ferrarotti' in Google

Josef Pichler

This author has not been identified. Look up 'Josef Pichler' in Google

Michael Moser

This author has not been identified. Look up 'Michael Moser' in Google

Georg Buchgeher

This author has not been identified. Look up 'Georg Buchgeher' in Google
runs on