Tests and proofs third international conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009 ; proceedings - TAP 2009 (2009 : Eidgenossische Technische Hochschule Zurich, Switzerland); Dubois, Catherine; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer software -- Testing -- Congresses; Computer software -- Reliability -- Congresses; Computer software -- Quality control -- Congresses; Computer Science; System Performance and Evaluation; Computer Communication Networks; Software Engineering; Logics and Meanings of Programs; Computers and Society