An Isabelle-Based Theorem Prover for VDM-SL

Jacob Frost, S. Agerholm

    Research output: Book/ReportReport

    Original languageEnglish
    Publication statusPublished - 1997

    Cite this

    Frost, J., & Agerholm, S. (1997). An Isabelle-Based Theorem Prover for VDM-SL.