Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers /
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers / [electronic resource] :
edited by Klaus Havelund ... [et al.].
- Berlin Heidelberg : Springer-Verlag GmbH., 2006
- viii, 253 p. : ill., digital ; 24 cm.
- Lecture Notes in Computer Science, 4262 0302-9743 ; .
9783540497035 (electronic bk.)
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Computer Science.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.9.F67 / F524 2006
005.131
9783540497035 (electronic bk.)
Formal methods (Computer science)--Congresses.
Computer software--Testing--Congresses.
Computer Science.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Programming Languages, Compilers, Interpreters.
Software Engineering.
QA76.9.F67 / F524 2006
005.131