Algebraic specification in CASL

Authors
Baumeister, H Bert, D
Citation
H. Baumeister et D. Bert, Algebraic specification in CASL, FACIT, 2001, pp. 209-224
Categorie Soggetti
Current Book Contents
Journal title
SOFTWARE SPECIFICATION METHODS → ACNP
ISSN journal
14319683
Year of publication
2001
Pages
209 - 224
Database
ISI
SICI code
1431-9683(2001):<209:ASIC>2.0.ZU;2-N