Publications dans lesquelles il/elle collabore avec 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