Codescu, Mihai and Mossakowski, Till and Riesco Rodríguez, Adrián and Christian, Maeder (2010) Integrating Maude into Hets. [ ] (Unpublished)
![[up]](/style/images/multi_up.png)
Up a level
