Javier
París Fernández
Profesor contratado interino de substitución
University of Gothenburg
Gotemburgo, SueciaPublications in collaboration with researchers from University of Gothenburg (1)
2009
-
Automatic testing of TCP/IP implementations using quickcheck
Erlang'09 - Proceedings of the 2009 ACM SIGPLAN Erlang Workshop, Co-located with the International Conference on Functional Programming, ICFP'09