@incollection{Rizkallah_2016,
    doi = {10.1007/978-3-319-43144-4_20},
    url = {https://doi.org/10.1007%2F978-3-319-43144-4_20},
    year = {2016},
    publisher = {Springer International Publishing},
    pages = {323--340},
    author = {Christine Rizkallah and Japheth Lim and Yutaka Nagashima and Thomas Sewell and Zilin Chen and Liam O'Connor and Toby Murray and Gabriele Keller and Gerwin Klein},
    title = {A Framework for the Automatic Formal Verification of Refinement from Cogent to C},
    booktitle = {Interactive Theorem Proving}
}

@incollection{Rizkallah_2016, doi = {10.1007/978-3-319-43144-4_20}, url = {https://doi.org/10.1007%2F978-3-319-43144-4_20}, year = {2016}, publisher = {Springer International Publishing}, pages = {323--340}, author = {Christine Rizkallah and Japheth Lim and Yutaka Nagashima and Thomas Sewell and Zilin Chen and Liam O'Connor and Toby Murray and Gabriele Keller and Gerwin Klein}, title = {A Framework for the Automatic Formal Verification of Refinement from Cogent to C}, booktitle = {Interactive Theorem Proving} }