I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paperblog.computationalcomplexity.org1 pointculturedsystems5 years ago