I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paperblog.computationalcomplexity.org 1 pointculturedsystems5 years agodiscussSaveHideCopy link On HNComments No comments yet.
Comments
No comments yet.