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
4 points
g0xA52A2A
a year ago
No comment yet
Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods | Heykuki News