↓ Skip to main content

High-Integrity Software

Overview of attention for book
Attention for Chapter 4: Practical experience with a formal verification system
Altmetric Badge

Citations

dimensions_citation
19 Dimensions

Readers on

mendeley
2 Mendeley