@inproceedings{ConradTGPD22-CPP,
  author    = {Esther Conrad and
               Laura Titolo and
               Dimitra Giannakopoulou and
               Thomas Pressburger and
               Aaron Dutle},
  editor    = {Andrei Popescu and
               Steve Zdancewic},
  title     = {A Compositional Proof Frame- work for {FRETish} Requirements},
  booktitle = {In Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022)},
  year      = {2022},
  month     = {January},
  pages     = {68--81},
  url       = {https://doi.org/10.1145/3497775.3503685},
  doi       = {10.1145/3497775.3503685}
}