Search results for: Allen Goldberg
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods I > 44-57
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Position Papers > 374-383
Theoretical Computer Science > 2005 > 336 > 2-3 > 209-234
Formal Methods in System Design > 2004 > 25 > 2-3 > 167-198