The “Debate” about Program Verif and the Lipton-Demillo-Perlis Paper (2021)blog.computationalcomplexity.org10 pointsluu3 years ago