Forced Transformations of Occam Programs

Flemming Nielson, Hanne Riis Nielson

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalInformation and Software Technology
    Volume34
    Issue number2
    Pages (from-to)91-96
    ISSN0950-5849
    Publication statusPublished - 1992

    Cite this