121
click to vote
AIMS
2007
Springer
16 years 4 hour ago
2007
Springer
We describe our effort to evaluate the syntax and constraints of Promise Theory using a tool developed in the Maude framework. Through the development of a Maude module we are able...