Recursive Algebraic Specifications and their Semantics

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the IFIP'89
    PublisherNorth-Holland
    Publication date1989
    Publication statusPublished - 1989
    EventProceedings of the IFIP'89 -
    Duration: 1 Jan 1989 → …

    Conference

    ConferenceProceedings of the IFIP'89
    Period01/01/1989 → …

    Cite this