↓ Skip to main content

Formal Methods and Models for System Design

Overview of attention for book
Attention for Chapter 13: XFM: Extreme Formal Method for Capturing Formal Specification into Abstract Models
Altmetric Badge

Citations

dimensions_citation
12 Dimensions

Readers on

mendeley
4 Mendeley