CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf]cl.cam.ac.uk2 points·smasher164··0 commentsOpen articleSaveView on HN