275
Voted
AMAST
2010
Springer
15 years 16 days ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...