<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-09-11 18:26:03FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2010-09-11 18:26:03FO Finite model theory Model theory Metaphilosophy Mathematical logic Mathematics Sigma-algebra Pattern language |
Add to Reading List |
Exploiting Traces in Program Analysis Alex Groce and Rajeev Joshi Laboratory for Reliable Software?? , Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA