↓ Skip to main content

Tools for Practical Software Verification

Overview of attention for book
Attention for Chapter 2: From Program to Logic: An Introduction
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
19 Mendeley