in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 7176 LNCS, Páginas: 48-63
Conference
8Th International Workshop on Web Services and Formal Methods, Ws-Fm 2011, Date: 1 September 2011 through 2 September 2011, Location: Clermont-Ferrand