|
СТ |
Maude as a Formal Meta-tool |
1999 |
Clavel M., Duran F., Eker S., Meseguer J., Stehr M. -O. |
|
|
|
Lecture Notes in Computer Science |
26.10.1999 |
|
СТ |
The Maude LTL Model Checker and Its Implementation |
2003 |
Eker S., Meseguer J., Sridharanarayanan A. |
|
|
|
Lecture Notes in Computer Science |
29.05.2003 |
|
М |
All About Maunde - A High-Performance Logical Framework: How to Specify, Program and Verify Systems in Rewriting Logic |
2007 |
Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Talcott C. |
Lecture Notes in Computer Science |
|
|
|
30.10.2007 |
