Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

All About Maude - A High-Performance Logical Framework How to Specify, Program, and Verify Systems in Rewriting Logic

DOI: 10.1007/978-3-540-71999-1
Publisher: Springer Berlin Heidelberg - Springer E-books
Jul 19, 2007