Back to Results
First PageMeta Content



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 List

Document Date: 2018-08-11 03:47:50


Open Document

File Size: 484,50 KB

Share Result on Facebook
UPDATE