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 International Publishing : Imprint: Springer, 2017)