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