Vlad Rusu, David Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. Preprint 2020.
@techreport{preprint-rn20,
title = {(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic},
author = {Vlad Rusu and David Nowak},
year = {2020},
researchr = {https://researchr.org/publication/preprint-rn20},
cites = {0},
citedby = {0},
type = {Preprint},
}