Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers - TAP 2007 (2007 : Zurich, Switzerland); Gurevich, Yuri.; Meyer, Bertrand; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Computer software -- Testing -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Quality control -- Congresses; Computer Science; Computer Communication Networks; Computers and Society; Logics and Meanings of Programs; Software Engineering; System Performance and Evaluation