![](https://www.pdfsearch.io/img/09ff0cf4a3f47632e683c9358b73b643.jpg) Date: 2018-08-11 03:47:50
| | A Modular Reasoning System Using Uninterpreted Predicates for Code Reuse Crystal Chang Din, Einar Broch Johnsen, Olaf Owe, and Ingrid Chieh Yu Department of Informatics, University of Oslo P.O. Box 1080 Blindern, N-0316 Add to Reading ListSource URL: einarj.at.ifi.uio.noDownload Document from Source Website File Size: 484,50 KBShare Document on Facebook
|