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