Report copyright - Correctness by Construction: Publications...[43] [Ludwig-Maximilians Universit at] Josef Berger and Gregor Svind-land, Convexity and constructive in ma, Archive for Mathematical Logic,
Please pass captcha verification before submit form