Formal Models for Real Programs

N. Husberg

    Research output: Working paperProfessional

    Original languageEnglish
    Place of PublicationOslo
    Pages119-128
    Publication statusPublished - 1997
    MoE publication typeD4 Published development or research report or study

    Publication series

    NameResearch Report
    PublisherUniversity of Oslo, Research Report 248
    No.248

    Cite this