Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf] | Heykuki News
CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]
cl.cam.ac.uk
2 points
smasher164
4 years ago
No comment yet