( en | de | ru )

 

Disambiguation of "Clavel, Manuel"

Author of the publication

copydeleteadd this publication to your clipboard
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic

, , , , , , and . Lecture Notes in Computer Science Springer, (July 2007)
DOI: 10.1007/978-3-540-71999-1

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas Clavel

Manuel

Manuel Keller

Manuel Knebelsberger

Manuel Schmitz

 

Other publications of authors with the same name

Proceedings of the Workshop on OCL and Textual Modelling (OCL 2010)., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2010)Vérification d'invariants pour des systèmes spécifiés en logique de réécriture., and . Stud. Inform. Univ., 7 (2): 83-112 (2009)Principles of Maude., , , and . WRLA, volume 4 of Electronic Notes in Theoretical Computer Science, page 65-89. Elsevier, (1996)Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach., and . CoRR, (2022)User Interfaces and Metalanguage Applications., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)Functional Modules., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)LTL Model Checking., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)A Hierarchy of Data Types: From Trees to Sets., , , , , , and . All About Maude, volume 4350 of Lecture Notes in Computer Science, Springer, (2007)The TTC 2021 OCL2PSQL case., , and . TTC/, volume 3089 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Web Browsers' Support for Managing Cookies. An Experiment Report., and . FDSE, volume 1925 of Communications in Computer and Information Science, page 135-152. Springer, (2023)