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