3532 articles – 5253 references  [version française]
.:. Browse > List by authors > 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]