Michel Bidoit;Rolf Hennicker
-;-
Observational Logic
AMAST '98 Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology
Swinging UML: how to make class diagrams and state machines amenable to constraint solving and proving
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard