Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Author: personID (integer) : 1003776
Page :
sorted by
Image document

Parameterized Strategies Specification in Maude

 Rubén Rubio , Narciso Martí-Oliet , Isabel Pita , Alberto Verdejo
24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.27-44, ⟨10.1007/978-3-030-23220-7_2⟩
Conference papers hal-02364577v1

Recent Trends in Algebraic Development Techniques

 Narciso Martí-Oliet , Miguel Palomino
Springer, LNCS-7841, 2013, Lecture Notes in Computer Science, 978-3-642-37634-4. ⟨10.1007/978-3-642-37635-1⟩
Books hal-01485894v1
Page :