Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers - Gurevich, Yuri.; Meyer, Bertrand; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Computer Communication Networks; Computer system performance; Software engineering; Logic design; Computer Science; System Performance and Evaluation; Software Engineering; Logics and Meanings of Programs; Computer Communication Networks; Computers and Society