System FR: Formalized Foundations for the Stainless Verifier

Citation

Jad Hamza, Nicolas Voirol, and Viktor Kunčak. System FR: Formalized foundations for the Stainless verifier. Proc. ACM Program. Lang, (OOPSLA), November 2019.

BibTex Entry

@article{HamzaETAL19SystemFR,
  author = {Jad Hamza and Nicolas Voirol and Viktor Kun\v{c}ak},
  title = {{System FR}: Formalized Foundations for the {Stainless} Verifier},
  journal = {Proc. ACM Program. Lang},
  number = {OOPSLA},
  year = {2019},
  month = {November},
  doi = {https://doi.org/10.1145/3360592}
}