Pages that link to "Item:Q5902547"
From MaRDI portal
The following pages link to Formal Methods for Open Object-Based Distributed Systems (Q5902547):
Displaying 6 items.
- Modular verification of multithreaded programs (Q557795) (← links)
- An assertion-based proof system for multithreaded Java (Q1770359) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- (Q4536605) (← links)
- Java threads and SugarCubes (Q4789082) (← links)
- Advanced concurrency control in Java (Q4790964) (← links)