Cited By
View all- Riesco AOgata KFutatsugi K(2017)A Maude environment for CafeOBJFormal Aspects of Computing10.1007/s00165-016-0398-729:2(309-334)Online publication date: 1-Mar-2017
- Pfenning F(2001)Logical frameworksHandbook of automated reasoning10.5555/778522.778526(1063-1147)Online publication date: 1-Jan-2001