Publicaciones en las que colabora con Thomas Arts (1)

2009

  1. 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