Web Services and Formal Methods : 10th International Workshop, WS-FM 2013, Beijing, China, August 2013 : Revised Selected Papers /

Gardado en:
Detalles Bibliográficos
Autor Corporativo: International Workshop on Web Services and Formal Methods ( Beijing, China)
Outros autores: Tuosto, Emilio (edición) (edición), Ouyang, Chun (edición) (edición)
Formato: Procedimiento de la conferencia Libro
Idioma:inglés
Publicado: Cham, Suiza : Springer, 2014, c2014
Series:(Lecture Notes in Computer Science ; 8379)
Temas:
Acceso en liña:Ver documento en línea
Etiquetas: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!