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

Flavio Ferrarotti, Josef Pichler, Michael Moser, Georg Buchgeher

Browse the full MEDI paper archive.