Your Proof Fails? Testing Helps to Find the Reason.

Guillaume Petiot, Nikolai Kosmatov, Bernard Botella, Alain Giorgetti, Jacques Julliand

Browse the full TAP paper archive.