@inproceedings{Rizkallah_LNSCOMKK_16,
    address          = {Nancy, France},
    author           = {Rizkallah, Christine and Lim, Japheth and Nagashima, Yutaka and Sewell, Thomas and Chen, Zilin and
                        O'Connor, Liam and Murray, Toby and Keller, Gabriele and Klein, Gerwin},
    booktitle        = {International Conference on Interactive Theorem Proving},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9273.pdf},
    title            = {A Framework for the Automatic Formal Verification of Refinement from {Cogent} to {C}},
    year             = {2016}
  }