↓ Skip to main content

The Generic Development Language Deva

Overview of attention for book
Attention for Chapter 5: Case study on VDM-style developments
Altmetric Badge

Citations

dimensions_citation
13 Dimensions