Code-Specify-Test-Debug-Prove: Flexibly Integrating Separation Logic [pdf]

 (cl.cam.ac.uk)

1 points | by matt_d 9 hours ago ago

No comments yet.