ACM Article: from code scarcity to verification scarcity by Ahmed El-Deebdl.acm.org2 points·qaprof··0 commentsOpen articleSaveView on HN