Sciweavers

Share
CADE
2005
Springer

Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures

11 years 21 hour ago
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures
Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddhart
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2005
Where CADE
Authors Greta Yorsh, Neil Immerman, Shmuel Sagiv, Siddharth Srivastava, Tal Lev-Ami, Thomas W. Reps
Comments (0)
books