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

G. Gülesir, Klaas van den Berg, Lodewijk Bergmans, Mehmet Aksit

    Research output: Contribution to journalArticleAcademicpeer-review

    7 Citations (Scopus)
    108 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.