TY  - RPRT
TI  - Soundness and Completeness of the NRB Verification Logic
AU  - Peter T. Breuer
AU  - Simon J. Pickin
PY  - 2013
DO  - 10.1007/978-3-319-05032-4_28
UR  - https://arxiv.org/abs/1306.5585
ID  - 1306.5585
ER  -