Search results for: A. Costan
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 462-475
Computer Physics Communications > 2009 > 180 > 12 > 2472-2498
IEEE EUROCON 2009 > 339 - 346
Lecture Notes in Computer Science > Computer Aided Verification > Program Analysis and Verification I > 462-475
Computer Physics Communications > 2009 > 180 > 12 > 2472-2498
IEEE EUROCON 2009 > 339 - 346