Showing 1 - 1 results of 1 for search 'Clavel, Manuel', query time: 0.01s Refine Results
  1. 1
    All About Maude - A High-Performance Logical Framework How to Specify, Program and Verify Systems in Rewriting Logic /
    by Clavel, Manuel
    Published in Springer e-books (2007)
    Get full text
    eBook
Search Tools: Get RSS Feed