Implémentation orientée objet d'ABAReL en Maude.

Malika Benammar Faiza Belala Kamel Barkaoui

Published in: Tech. Sci. Informatiques (2011)

Keyphrases

formal specification
equational theories
model checking
query language
first order logic
temporal logic