TY  - BOOK
AU  - Grieskamp,Wolfgang
AU  - Weise,Carsten
ED  - FATES 2005
TI  - Formal approaches to software testing: 5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers 
T2  - Lecture notes in computer science
SN  - 3540344543
AV  - QA76.9F67 F37 2005
U1  - 004.01/51 22
PY  - 2006///
CY  - Berlin
PB  - Springer Verlag
KW  - Métodos formales (Computación)
KW  - Congresos
KW  - Software para computadora
KW  - Pruebas
N1  - "The workshop on Formal Approaches to Testing of Software (FATES)"-- en el prol
ER  -