Tests and proofs: 4th international conference ; proceedings by TAP, Málaga fromLecture Notes in Computer Science 0 Type: Book