MARÍA ISABEL
PITA ANDREU
Profesora titular de universidad
ADRIÁN
RIESCO RODRÍGUEZ
Profesor titular de universidad
Publications dans lesquelles il/elle collabore avec ADRIÁN RIESCO RODRÍGUEZ (2)
2015
-
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
-
A tool for testing data type implementations from Maude algebraic specifications
Electronic Notes in Theoretical Computer Science