Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers / [electronic resource] :
edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.
- 1a ed.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4949 0302-9743 ; .
9783540789178
Método formal (Informatica)--Congresos Software por computador --Congresos