The following pages link to (Q2764134):
Displaying 5 items.
- Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers (Q619015) (← links)
- A formal framework for dependability and resilience from a software engineering perspective (Q692989) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- (Q4665722) (← links)
- (Q4870817) (← links)