On the foundations of the VDM-SL static semantics

Bo Stig Hansen, Hans Bruun

    Research output: Book/Report › Report › Research › peer-review

    Original languageEnglish
    Number of pages121
    Publication statusPublished - 1997

    OpenUrl availability

    Full text

    Cite this