I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paper (blog.computationalcomplexity.org) 1 points by culturedsystems 5y ago ↗ HN
0 comments
[ 5.3 ms ] story [ 13.6 ms ] threadNo comments yet.