Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L Aquila, Italy, July 2015

Tests and Proofs: Proc./9th International Conference, TAP 2015 Held as Part of STAF 2015, L Aquila, Italy, July 2015Ed. by Blanchette J. C., Kosmatov N..-Berlin.: Springer, 2015.-Vol. 9154.-209 p.-(Lecture Notes in Computer Science).