Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems

Giorgio Delzanno, Sandro Etalle, Maurizio Gabbrielli

    Research output: Contribution to journalArticleAcademic

    2 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Introduction to the Special Issue on Specification Analysis and Verification of Reactive Systems'. Together they form a unique fingerprint.