![](https://www.pdfsearch.io/img/23b38e4f324693499b9593085c6816d4.jpg) Date: 2016-08-30 03:42:26
| | A Framework for the Automatic Formal Verification of Refinement from Cogent to C Christine Rizkallah4 , Japheth Lim1 , Yutaka Nagashima1 , Thomas Sewell1,2 , Zilin Chen1,2 , Liam O’Connor1,2 , Toby Murray1,3 , GabrieleAdd to Reading ListSource URL: itp2016.inria.frDownload Document from Source Website File Size: 633,80 KBShare Document on Facebook
|