@inproceedings{Guneau_MKN_17,
    address          = {Uppsala, Sweden},
    author           = {Gu\'eneau, Armaël and Myreen, Magnus and Kumar, Ramana and Norrish, Michael},
    booktitle        = {European Symposium on Programming},
    month            = apr,
    pages            = {584--610},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9511.pdf},
    title            = {Verified Characteristic Formulae for {CakeML}},
    year             = {2017}
  }