Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A temporal perspective of composite objects
Object-oriented software composition
A Decision Algorithm for Full Propositional Temporal Logic
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Precise specification and automatic application of design patterns
ASE '97 Proceedings of the 12th international conference on Automated software engineering (formerly: KBSE)
Hi-index | 0.00 |