Pages that link to "Item:Q5308423"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5308423):
Displaying 3 items.
- Deadlock and starvation free reentrant readers-writers: a case study combining model checking with theorem proving (Q617922) (← links)
- Enforcing structural regularities in software using intensive (Q967536) (← links)
- How the design of JML accommodates both runtime assertion checking and formal verification (Q1776585) (← links)