Formal Methods and Testing
An Outcome of the FORTEST Network, Revised Selected Papers
Hierons, Robert M.
creator
Bowen, Jonathan P.
Harman, Mark.
SpringerLink (Online service)
software, multimedia
gw
Berlin, Heidelberg
Springer-Verlag Berlin Heidelberg
2008
1a ed.
monographic
eng
v.: digital
edited by Robert M. Hierons, Jonathan P. Bowen, Mark Harman.
Método formal (Informatica)
Congresos
Software por computador
Congresos
QA76.9.F67
Springer eBooks
9783540789178
http://dx.doi.org/10.1007/978-3-540-78917-8
http://dx.doi.org/10.1007/978-3-540-78917-8
100301
20201214175818.0