Publication

Programming Logics: An Introduction to Verification and Semantics

Hesselink, W. H., May-1990, In : Science of computer programming. 13, 2-3, p. 266-267 2 p.

Research output: Contribution to journalBook/Film/Article reviewProfessional

Copy link to clipboard

Documents

  • 1990SciCompProgHesselink.pdf

    Final publisher's version, 144 KB, PDF document

DOI

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

ID: 14405824