Soundness and Completeness of the NRB Verification Logic | Publicación