Publications dans lesquelles il/elle collabore avec Alejandro Álvarez Ayllón (1)

2010

  1. Takuan: A tool for WS-BPEL composition testing using dynamic invariant generation

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