Formal Approaches to Software Testing
Grabowski, Jens.
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / [electronic resource] : edited by Jens Grabowski, Brian Nielsen. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3395 0302-9743 ; .
9783540318484
Método Formal (informática) --Congresos
Software por computador--Pruebas--Congresos
QA76.9.F67 / G73 2005
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers / [electronic resource] : edited by Jens Grabowski, Brian Nielsen. - 1a ed. - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005. - v.: digital - Lecture Notes in Computer Science, 3395 0302-9743 ; .
9783540318484
Método Formal (informática) --Congresos
Software por computador--Pruebas--Congresos
QA76.9.F67 / G73 2005