↓ Skip to main content

The Foundations of Program Verification

Overview of attention for book
Attention for Chapter 9: Verification Methods Based on Denotational Semantics
Altmetric Badge

Citations

dimensions_citation
91 Dimensions