On the foundations of the VDM-SL static semantics

Bo Stig Hansen, Hans Bruun

    Research output: Book/ReportReport

    Original languageEnglish
    Number of pages121
    Publication statusPublished - 1997

    Cite this

    Hansen, B. S., & Bruun, H. (1997). On the foundations of the VDM-SL static semantics.