Automating soundness proofs

M.J. Weerdenburg, van

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings of the 5th Workshop on Structural Operational Semantics (SOS 2008, Reykjavik, Iceland, July 6, 2008)
    EditorsM. Hennessy, B. Klin
    Pages107-118
    DOIs
    Publication statusPublished - 2009

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume229(4)
    ISSN (Print)1571-0061

    Cite this