Co-Developing Programs and Their Proof of Correctness
Article URL: https://cacm.acm.org/research/co-developing-programs-and-their-proof-of-correctness/
Comments URL: https://news.ycombinator.com/item?id=39762824
Points: 1
# Comments: 0
