Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
queue.acm.org
174 points
yarapavan
a year ago
54 comments
Loading...
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods | Heykuki News