Tests and proofs: 4th international conference : proceedings by Fraser, Gordon, International Conference on Tests and Proofs fromLecture Notes in Computer Science 0 Type: Book