Formal Methods and Testing
Hierons, Robert M.
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
QA76.9.F67
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
QA76.9.F67