D dl.acm.org ACM Article: from code scarcity to verification scarcity by Ahmed El-Deeb 2 points qaprof 9 days ago 0 comments
