Parameterized Strategies Specification in Maude.

Rubén Rubio Narciso Martí-Oliet Isabel Pita Alberto Verdejo

Published in: WADT (2018)

Keyphrases

formal specification
high level
specification language
relational databases
mobile robot
selection strategies
search engine
digital libraries
user defined
formal methods