Catherine Dubois, Burkhart Wolff: Tests and Proofs - 12th International Conference, TAP@STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Lecture Notes in Computer Science 10889, Springer 2018, ISBN 978-3-319-92993-4