Publications en collaboration avec des chercheurs de Instituto IMDEA Software (2)

2015

  1. Two decades of Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2009

  1. Unification and narrowing in maude 2.4

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)