A Computational proof of soundness

S.M.M. Joosten, J. Kuper

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages8
    Publication statusPublished - 1992

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente
    No.92-09
    ISSN (Print)0924-3755

    Cite this