Correctness Preserving Transformations

    Research output: Other contributionOther research output

    Original languageUndefined
    PublisherUniversity of Twente
    Place of PublicationEnschede
    Publication statusPublished - 31 Jan 1990

    Keywords

    • METIS-123045

    Cite this

    Langerak, R. (1990, Jan 31). Correctness Preserving Transformations. Enschede: University of Twente.