Pages that link to "Item:Q5703786"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703786):
Displaying 5 items.
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← links)
- JMLUnit: The Next Generation (Q3067548) (← links)
- Snapshot Generation in a Constructive Object-Oriented Modeling Language (Q5504600) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703818) (← links)
- FM 2005: Formal Methods (Q5716915) (← links)