Author:
Lopez Pombo Carlos Gustavo,Castro Pablo F.,Aguirre Nazareno,Maibaum Tomas S. E.
Publisher
Springer International Publishing
Reference33 articles.
1. Lecture Notes in Computer Science;M. Bidoit,1998
2. Mossakowski, T., Haxthausen, A., Sannella, D., Tarlecki, A.: CASL: The common algebraic specification language: Semantics and proof theory. Computing and Informatics 22 (2003)
3. Lecture Notes in Computer Science;P.F. Castro,2013
4. Lecture Notes in Computer Science;M.V. Cengarle,2008
5. Diaconescu, R., Futatsugi, K.: Logical foundations of CafeOBJ. Theor. Comp. Sc. 285(2) (2002)