The following pages link to Robby (Q1888202):
Displaying 6 items.
- Exploiting object escape and locking information in partial-order reductions for concurrent object-oriented programs (Q1888204) (← links)
- (Q2753762) (← links)
- (Q2845504) (← links)
- (Q4414730) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308423) (← links)
- Computer Aided Verification (Q5716547) (← links)
