Author:
Bidoit Michel,Sannella Donald,Tarlecki Andrzej
Publisher
Springer Berlin Heidelberg
Reference34 articles.
1. [ABK+03]_E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P.D. Mosses, D. Sannella and A. Tarlecki. Casl: The Common Algebraic Specification Language. Theoretical Computer Science, to appear (2003). See also the Casl Summary at
http://www.brics.dk/Projects/CoFI/Documents/CASL/Summary/
.
2. E. Astesiano, B. Krieg-Brückner and H.-J. Kreowski, eds. Algebraic Foundations of Systems Specification. Springer (1999).
3. Lect Notes Comput Sci;G. Bernot,1987
4. Lect Notes Comput Sci;M. Bidoit,1993
5. M. Bidoit and R. Hennicker. Modular correctness proofs of behavioural implementations. Acta Informatica 35(11):951–1005 (1998).
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Simple Refinement Language for Casl;Recent Trends in Algebraic Development Techniques;2005
2. Toward Component-Oriented Formal Software Development: An Algebraic Approach;Radical Innovations of Software and Systems Engineering in the Future;2004