@inproceedings{Guneau_MKN_17_2,
    address          = {Uppsala},
    author           = {Gu\'{e}neau, Armaël and Myreen, Magnus and Kumar, Ramana and Norrish, Michael},
    booktitle        = {European Symposium on Programming},
    date             = {2017-4-22},
    doi              = {https://doi.org/10.1007/978-3-662-54434-1},
    month            = apr,
    pages            = {584-610},
    paperurl         = {https://trustworthy.systems/publications/full_text/Guneau_MKN_17.pdf},
    publisher        = {Springer},
    title            = {Verified Characteristic Formulae for {CakeML}},
    year             = {2017}
  }