Software Testing in Computable Analysis.

Klaus Meer, Martin Ziegler

Browse the full UC paper archive.