Michel Bidoit profile picture

Michel Bidoit

Is this your author profile? Create an account to claim and customize it!

Stand Alone

CASL user manual
CASL User Manual
Tapsoft'97 Theory and Practice of Software Development
TAPSOFT'97: Theory and Practice of Software Development 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26-30, 1991. Selected Papers
CASL User Manual Introduction to Using the Common Algebraic Specification Language
Algebraic System Specification and Development