AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Manuel Clavel

Manuel Clavel

Vietnamese-German University - Thu Dau Mot City / Vietnam
Engineering & Technology / Computer Science
AD Scientific Index ID: 416775
Đại học Việt Nam-Đức
person_outline Manuel Clavel's MOST POPULAR ARTICLES
1-) All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic Springer, 2007
2-) Maude: Specification and programming in rewriting logic Theoretical Computer Science 285 (2), 187-243, 2002
3-) The maude 2.0 system International Conference on Rewriting Techniques and Applications, 76-87, 2003
4-) Principles of maude Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
5-) All About Maude: A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer ScienceM Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C TalcottSpringer, 20073362007