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

Vlad Rusu, David Nowak. (Co)inductive Proof Systems for Compositional Proofs in Reachability Logic. Preprint 2020.

Authors

Vlad Rusu

Identified as Vlad Rusu

David Nowak

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