(Co)inductive Proof Systems for Compositional Proofs in Reachability Logic

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.