Behavioural subtyping and property preservation for active objects
FMOODS '02 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V
Behavioral Subtyping Relations for Active Objects
Formal Methods in System Design
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
Hi-index | 0.00 |