|
|
|
Volumn 4350 LNCS, Issue , 2007, Pages
|
|
All about Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic
[No Author Info available]
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER PROGRAMMING;
VERIFICATION;
HIGH PERFORMANCE LOGICAL FRAMEWORK;
FORMAL LOGIC;
|
|
EID: 38149030032
PISSN: 03029743
EISSN: 16113349
Source Type: Book Series
DOI: None Document Type: Conference Review |
|
Times cited : (90)
|
|
References (0)
|