The following pages link to (Q4738214):
Displaying 8 items.
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Verifying a Compiler for Java Threads (Q3558240) (← links)
- (Q4536605) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- Concurrent Objects à la Carte (Q5187829) (← links)