Formal specification with the Java modeling language

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    6 Citations (Scopus)
    17 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Formal specification with the Java modeling language'. Together they form a unique fingerprint.