↓ Skip to main content

Tests and Proofs

Overview of attention for book
Attention for Chapter 10: A Lesson on Proof of Programs with Frama-C. Invited Tutorial Paper
Altmetric Badge

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
5 Mendeley