- Rustan Leino provides proof that software is bug-free https://www.amazon.science/working-at-amazon/rustan-leino-provides-proof-that-software-is-bug-free 2 comments programming
Linked pages
Related searches:
Search whole site: site:amazon.science
Search title: Rustan Leino provides proof that software is bug-free - Amazon Science
See how to search.