First Page | Document Content | |
---|---|---|
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-0316Add to Reading ListSource URL: einarj.at.ifi.uio.noDownload Document from Source WebsiteFile Size: 484,50 KBShare Document on Facebook |