Wasyl Baluta
-
Verification and Validation Techniques of Object-Oriented Software Systems
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems