![Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution Logic / Mathematical logic / Theoretical computer science / FO / Finite model theory / Predicate transformer semantics / Model theory / Substitution](https://www.pdfsearch.io/img/8fcffa9a6e4be791e55c05343db5b4fa.jpg) Date: 2010-09-11 18:44:06Logic 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 JoshiAdd to Reading ListSource URL: rjoshi.orgDownload Document from Source Website File Size: 248,52 KBShare Document on Facebook
|