Author:
Ksystra Katerina,Triantafyllou Nikos,Stefaneas Petros
Publisher
Springer International Publishing
Reference21 articles.
1. Diaconescu, R., Futatsugi, K., Ogata, K.: CafeOBJ: Logical foundations and methodologies. Comput. Inform. 22, 257–283 (2003)
2. Clavel, M., Durn, F., Eker, S., Lincoln, P., Mart-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. Maude System documentation (1999)
3. Mossakowski, T., Haxthausen, A.E., Sannella, D., Tarlecki, A.: Casl the Common Algebraic Specification Language. In: Logics of Specification Languages. Part of the series Monographs in Theoretical Computer Science pp. 241–298 (2008)
4. Nipkow, T.: Programming and Proving in Isabelle/HOL. Technical Report (2014)
5. Autexier, S., Mossakowski, T.: Integrating HOL-CASL into the development graph manager MAYA. Frontiers of combining systems. Lect. Notes Comput. Sci. 2309, 2–17 (2002)