3543 articles – 5273 Notices  [english version]
.:. Consultation > Liste par auteurs > Astesiano .:.
1 document
CASL: The Common Algebraic Specification Language
Astesiano E., Bidoit M., Kirchner H., Krieg-Brückner B., Mosses P. D., Sannella D., Tarlecki A.
Theoretical Computer Science 286, 2 (2002) 153-196 [inria-00101008 - version 1]