A Compositional Proof Framework for FRETish Requirements
Jan 17, 2022·,,,,·
0 min read
Esther Conrad
Laura Titolo
Dimitra Giannakopoulou
Thomas Pressburger
Aaron Dutle:
Type
Publication
In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proof, (CPP 2022)