Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems

Gürcan Güleşir, Klaas van den Berg, Lodewijk Bergmans, Mehmet Akşit

    Research output: Contribution to journalArticleAcademicpeer-review

    7 Citations (Scopus)
    93 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Experimental evaluation of a tool for the verification and transformation of source code in event-driven systems'. Together they form a unique fingerprint.

    Computer Science