An Isabelle-Based Theorem Prover for VDM-SL

Jacob Frost, S. Agerholm

    Research output: Book/ReportReportResearchpeer-review

    Original languageEnglish
    Publication statusPublished - 1997

    Cite this