-
1
Tests and proofs : 10th International Conference, TAP 2016, held as a part of STAF 2016, Vienna, Austria, July 5-7, 2016. Proceedings /
Published 2016Table of Contents: “…and Proofs for Enumerative Combinatorics -- Classifying Test Suite Effectiveness …”
Full Text (via Springer)
Conference Proceeding eBook