There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Data availability:

Comments

Comment on this book

Cited by 12

Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
Authors: Santiago Escobar, Catherine Meadows, José Meseguer
The SCEL Language: Design, Implementation, Verification
Authors: Rocco De Nicola, Diego Latella, Alberto Lafuente …
Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude
Authors: Peter Ölveczky, Artur Boronat, José Meseguer

See all cited by

All About Maude - A High-Performance Logical Framework

Read this book at

Related collections

Journal of Portuguese Linguistics

Comments

Comment on this book

Similar content 5,253

Cited by 12