Publisher
Springer Nature Switzerland
Reference17 articles.
1. Clavel, M., et al.: Maude Manual (Version 3.2.1) (2022)
2. Lecture Notes in Computer Science;M Clavel,2007
3. Diaconescu, R.: Behavioural specification for hierarchical object composition. Theor. Comput. Sci. 343(3), 305–331 (2005)
4. Diaconescu, R., Ţuţu, I.: The COMP system (2022). http://www.imar.ro/~diacon/COMPproject/COMP.html
5. Goguen, J.A., Burstall, R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95–146 (1992)