36745

4365658

Jasmin Christian Blanchette

Tests and Proofs - 9th International Conference, TAP 2015, Held as Part of STAF 2015 (Lecture Notes in Computer Science)

Springer

2015

9783319212142