Vlad Rusu, David Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. In Proceedings Third Symposium on Working Formal Methods, Electronic Proceeding in Theoretical Computer Science 303. pages 32-47, 2019. [doi]
@inproceedings{DBLP:journals-corr-abs-1909-01744,
title = {(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic},
author = {Vlad Rusu and David Nowak},
year = {2019},
doi = {10.4204/EPTCS.303.3},
url = {https://doi.org/10.4204/EPTCS.303.3},
researchr = {https://researchr.org/publication/DBLP%3Ajournals-corr-abs-1909-01744},
cites = {0},
citedby = {0},
pages = {32-47},
booktitle = {Proceedings Third Symposium on Working Formal Methods, Electronic Proceeding in Theoretical Computer Science 303},
}