Derivation of efficient implementations for formal descriptions: issues, methods and conformance

H.H.C. Kremer

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publicationProceedings of Formal Description Techniques VII, FORTE'94
    Place of PublicationBern,CH
    Pages421-436
    Publication statusPublished - 14 Mar 1995

    Keywords

    • METIS-120042

    Cite this

    Kremer, H. H. C. (1995). Derivation of efficient implementations for formal descriptions: issues, methods and conformance. In Proceedings of Formal Description Techniques VII, FORTE'94 (pp. 421-436). Bern,CH.