Author:
Coudert Sophie,Le Gall Pascale
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Lect Notes Comput Sci;G. Bernot,1996
2. R. Burstall and J. Goguen. The semantics of CLEAR, a specification language. In Proc. Advanced Course on Abstract Software Specifications, Berlin, pages 292–332. Springer, 1980.
3. J.A. Bergstra, R. Heering, and P. Klint. Module algebra. Journal of the Association for Computer Machinery, 37(2):335–372, 1990.
4. Lect Notes Comput Sci;T. Borzyszkowski,1997
5. Lect Notes Comput Sci;M. Bidoit,1999