Tests and Proofs 11th International Conference, TAP 2017, held as part of STAF 2017, Marburg, Germany, July 19–20, 2017 : proceedings - Gabmeyer, Sebastian; Johnsen, Einar Broch (Springer, 2017)