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

Published as

This technical report is published as:

Possibly Related Publications

The following publications are possibly variants of this publication: