CN: Verifying Systems C Code with Separation-Logic Refinement Types [pdf] (cl.cam.ac.uk) 2 points by smasher164 3y ago ↗ HN
0 comments
[ 3.3 ms ] story [ 11.7 ms ] threadNo comments yet.