![](https://www.pdfsearch.io/img/912d80ffc76b0e57fc378066ae8c9147.jpg) Date: 2013-07-17 21:22:36
| | Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeeaa , Wei-Ngan Chinb a Max Planck Institute for Software Systems (MPI-SWS) b National University of SingaporeAdd to Reading ListSource URL: www.comp.nus.edu.sgDownload Document from Source Website File Size: 496,32 KBShare Document on Facebook
|