↓ Skip to main content
What is this page? Embed badge

The Foundations of Program Verification

Overview of attention for book
Cover of 'The Foundations of Program Verification'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Mathematical Preliminaries
  3. Altmetric Badge
    Chapter 2 Predicate Logic
  4. Altmetric Badge
    Chapter 3 Three Simple Programming Languages
  5. Altmetric Badge
    Chapter 4 Fixpoints in Complete Partial Orders
  6. Altmetric Badge
    Chapter 5 Denotational Semantics
  7. Altmetric Badge
    Chapter 6 Correctness of Programs
  8. Altmetric Badge
    Chapter 7 The Classical Methods of Floyd
  9. Altmetric Badge
    Chapter 8 The Axiomatic Method of Hoare
  10. Altmetric Badge
    Chapter 9 Verification Methods Based on Denotational Semantics
  11. Altmetric Badge
    Chapter 10 LCF, A Logic for Computable Functions
  12. Altmetric Badge
    Chapter 11 An Overview of Further Developments
Attention for Chapter 2: Predicate Logic
Altmetric Badge

Citations

dimensions_citation
91 Dimensions
Summary Dimensions citations
So far, Dimensions has found 91 publications that cite this research output.

91

The most recent citing publications are shown below. View all 91 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.