Catalogue of LOTOS Correctness Preserving Transformations: Task 1.2 Final Deliverable

L.F. Pires

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationEnschede
    PublisherUniversiteit Twente
    Number of pages158
    Publication statusPublished - 1992

    Keywords

    • METIS-122156

    Cite this