@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} }