B blog.computationalcomplexity.org The “Debate” about Program Verif and the Lipton-Demillo-Perlis Paper (2021) 10 points luu 3 years ago 2 comments
