Michel Bidoit

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

2002 · ENGLISH · PDF

View details →

Systems and Software Verification: Model-Checking Techniques and Tools

2001 · ENGLISH · PDF

View details →

Algebraic system specification and development: A survey and annotated bibliography

1991 · ENGLISH · DJVU

View details →

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

2004 · ENGLISH · PDF

View details →

Mathematical Foundations of Computer Science 2002: 27th International Symposium, MFCS 2002 Warsaw, Poland, August 26–30, 2002 Proceedings

2002 · ENGLISH · PDF

View details →

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

1993 · ENGLISH · DJVU

View details →

TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997 Proceedings

1997 · ENGLISH · DJVU

View details →

CASL User Manual: Introduction to Using the Common Algebraic Specification Language

2004 · ENGLISH · PDF

View details →