Soundness and Completeness of the NRB Verification Logic.

Peter T. Breuer, Simon Pickin

Browse the full SEFM paper archive.