Formal approaches to software testing and runtime verification first combined international workshops, FATES 2006 and RV 2006, Seattle WA, USA, August 15-16, 2006 ; revised selected papers
FATES/RV 2006 (2006 Seattle, Wash.) Klaus Havelund; Manuel Nunez; Grigore Rosu; Burkhart Wolff 1962-
Berlin Springer 2006
Localização:
IME - Inst. Matemática e Estatística
(S L471c v.4262 )(Acessar)