Assertional data reification proofs: survey and perspective

J. Coenen, W.P. de Roever, Jakob Zwiers

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

    Original languageUndefined
    Title of host publication4th BCS-FACS Refinement Workshop
    Place of PublicationDuitsland
    Pages1-16
    Number of pages16
    Publication statusPublished - 1 Sep 1991

    Keywords

    • METIS-119912

    Cite this