Skip to main navigation Skip to search Skip to main content

Syntax and semantics of VVSL : a language for structured VDM specifications

  • C.A. Middelburg

    Research output: ThesisPhd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

    Original languageEnglish
    QualificationDoctor of Philosophy
    Awarding Institution
    • University of Amsterdam
    Award date1 Jan 1990
    Place of PublicationAmsterdam
    Publisher
    Publication statusPublished - 1990

    Cite this