CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]https://www.cl.cam.ac.uk/~nk480/cn.pdf by smasher164 • 4 years ago 2 0 4 years agoCLcl.cam.ac.uk