(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]

Authors

Vlad Rusu

Identified as Vlad Rusu

David Nowak

This author has not been identified. Look up 'David Nowak' in Google