Tests and proofs. 6th international conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings
scientific article; zbMATH DE number 6040242