Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings - Blanchette, Jasmin Christian; Kosmatov, Nikolai (Springer International Publishing : Imprint: Springer, 2015)