FRET Proof Framework Laura Titolo, Esther Conrad, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle Jun 23, 2018 Code Publications A Compositional Proof Framework for FRETish Requirements Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, Thomas Pressburger, Aaron Dutle PDF Cite Project DOI