32890 articles – 26186 Notices  [english version]
.:. Consultation > Par auteur > 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]