The following pages link to (Q4870817):
Displaying 6 items.
- Verification of object-oriented programs: a transformational approach (Q439944) (← links)
- Formal verification of object-oriented software. International conference, FoVeOOS 2010, Paris, France, June 28--30, 2010. Revised selected papers (Q619015) (← links)
- Modeling and testing object-oriented distributed systems with linear-time temporal logic (Q4790927) (← links)
- Reuse in Software Verification by Abstract Method Calls (Q4928448) (← links)
- Verification: Theory and Practice (Q5305652) (← links)
- Formal Methods for Open Object-Based Distributed Systems (Q5902542) (← links)