Specification of Systems: Theory in Search of Practice

Hendrik Brinksma, J. Parrow, Arend Rensink, S. Heymer

    Research output: Book/ReportReportOther research output

    Original languageUndefined
    Place of PublicationHildesheim, Germany
    PublisherInstitut für Informatik, University of Hildesheim
    Number of pages21
    Publication statusPublished - Sep 1994

    Keywords

    • EWI-8249

    Cite this