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
[ 2.7 ms ] story [ 13.9 ms ] threadNo comments yet.