Back to Results
First PageMeta Content
Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution


Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) Exploiting Traces in Static Program Analysis Better Model Checking through printfs Alex Groce, Rajeev Joshi
Add to Reading List

Document Date: 2010-09-11 18:44:06


Open Document

File Size: 248,52 KB

Share Result on Facebook
UPDATE