%0 Conference Paper %1 conf/itp/RizkallahLNSCOM16 %A Rizkallah, Christine %A Lim, Japheth %A Nagashima, Yutaka %A Sewell, Thomas %A Chen, Zilin %A O'Connor, Liam %A Murray, Toby C. %A Keller, Gabriele %A Klein, Gerwin %B ITP %D 2016 %E Blanchette, Jasmin Christian %E Merz, Stephan %I Springer %K dblp %P 323-340 %T A Framework for the Automatic Formal Verification of Refinement from Cogent to C. %U http://dblp.uni-trier.de/db/conf/itp/itp2016.html#RizkallahLNSCOM16 %V 9807 %@ 978-3-319-43143-7

@inproceedings{conf/itp/RizkallahLNSCOM16, added-at = {2023-02-12T00:00:00.000+0100}, author = {Rizkallah, Christine and Lim, Japheth and Nagashima, Yutaka and Sewell, Thomas and Chen, Zilin and O'Connor, Liam and Murray, Toby C. and Keller, Gabriele and Klein, Gerwin}, biburl = {https://www.bibsonomy.org/bibtex/21f94cedecfeb379d082b1b00bb831caa/dblp}, booktitle = {ITP}, crossref = {conf/itp/2016}, editor = {Blanchette, Jasmin Christian and Merz, Stephan}, ee = {https://doi.org/10.1007/978-3-319-43144-4_20}, interhash = {98e25b02f77a668ab1ee2f624b6486b6}, intrahash = {1f94cedecfeb379d082b1b00bb831caa}, isbn = {978-3-319-43143-7}, keywords = {dblp}, pages = {323-340}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:22.000+0200}, title = {A Framework for the Automatic Formal Verification of Refinement from Cogent to C.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2016.html#RizkallahLNSCOM16}, volume = 9807, year = 2016 }