Lessons from Formally Verified Deployed Software Systems (arxiv.org)
Software Engineering, Formal Verification, Software Systems
23 points by nequo 236 days ago | 0 comments