Programming Logics: An Introduction to Verification and Semantics

    Research output: Contribution to journalBook/Film/Article reviewProfessional

    Original languageEnglish
    Pages (from-to)266-267
    Number of pages2
    JournalScience of computer programming
    Volume13
    Issue number2-3
    DOIs
    Publication statusPublished - May-1990

    Cite this