Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings - Aichernig, Bernhard K.; Furia, Carlo A. (Springer International Publishing : Imprint: Springer, 2016)