Tests and proofs. 5th international conference, TAP 2011, Zurich, Switzerland, June 30 -- July 1, 2011. Proceedings
scientific article; zbMATH DE number 5914365