Back to Results
First PageMeta Content
Mathematical logic / Logic / Type theory / Theoretical computer science / Logic in computer science / Automated theorem proving / Reasoning / Program analysis / Natural deduction / Logical framework / Resolution / First-order logic


KITP-93: An Automated Inference System for Program Analysis T. C. Wang and Allen Goldberg Kestrel Institute 3260 Hillview Avenue Palo Alto, CA 94304
Add to Reading List

Document Date: 2012-08-08 19:03:01

Open Document

File Size: 167,39 KB

Share Result on Facebook