Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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-12-13T04:40:26.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/admin},
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 = {},
pages = {323-340},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T04:40:26.000+0100},
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
}