Pages that link to "Item:Q5897122"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5897122):
Displaying 6 items.
- A dynamic logic for deductive verification of multi-threaded programs (Q470007) (← links)
- Mechanising a type-safe model of multithreaded Java with a verified compiler (Q1663233) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- (Q4536605) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
- Verification: Theory and Practice (Q5305646) (← links)