Publicaciones en las que colabora con Antonio Blanco Ferro (2)

2009

  1. The foldl operator as a coequalizer using Coq

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

2007

  1. A comparative performance evaluation of different implementations of the SOAP protocol

    Proceedings of the 5th IEEE European Conference on Web Services, ECOWS 07