Publicaciones en las que colabora con MARÍA ISABEL PITA ANDREU (2)

2015

  1. Specifying and analyzing the kademlia protocol in maude

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

2012

  1. A tool for testing data type implementations from Maude algebraic specifications

    Electronic Notes in Theoretical Computer Science