↓ Skip to main content

Formal Methods for Components and Objects

Overview of attention for book
Attention for Chapter 3: Model-Based Test Selection for Infinite-State Reactive Systems
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
12 Mendeley
citeulike
1 CiteULike