Two-Way Collaboration Between Flow and Proof in SPARK.

Claire Dross, Joffrey Huguet, Johannes Kanig

Browse the full VMCAI paper archive.