ACM Article: from code scarcity to verification scarcity by Ahmed El-Deeb(dl.acm.org)
2 pointsby qaprof8 hours ago1 comment
  • 7 hours ago
    undefined