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

    Brinksma, H., Parrow, J., Rensink, A., & Heymer, S. (1994). Specification of Systems: Theory in Search of Practice. Hildesheim, Germany: Institut für Informatik, University of Hildesheim.