↓ Skip to main content

Model Checking Software

Overview of attention for book
Attention for Chapter 13: A Study of Learning Data Structure Invariants Using Off-the-shelf Tools
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
4 Mendeley