TY  - RPRT
TI  - A Compositional Proof Framework for FRETish Requirements
AU  - Esther Conrad
AU  - Laura Titolo
AU  - Dimitra Giannakopoulou
AU  - Thomas Pressburger
AU  - Aaron Dutle
PY  - 2022
UR  - https://arxiv.org/abs/2201.03641
ID  - 2201.03641
ER  -