The following pages link to Arjan J. Mooij (Q736455):
Displayed 9 items.
- Formalizing and testing the consistency of DSL transformations (Q736456) (← links)
- Relating fair testing and accordance for service replaceability (Q974133) (← links)
- Static type checking without downcast operator (Q2169429) (← links)
- Invariant-based reasoning about parameterized security protocols (Q2268473) (← links)
- Streamlining progress-based derivations of concurrent programs (Q2481207) (← links)
- Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS (Q3510806) (← links)
- Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards (Q3618819) (← links)
- Realizability Criteria for Compositional MSC (Q3623938) (← links)
- Fundamental Approaches to Software Engineering (Q5316438) (← links)