Christel Seguin;Virginie Wiels
-;-
A Logical Theory of Interfaces and Objects
IEEE Transactions on Software Engineering
Extended Institutions for Testing
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology