Search results for: Pedro Lopez
Lecture Notes in Computer Science > Static Analysis > Invited Paper > 127-152
New Generation Computing > 2010 > 28 > 2 > 177-206
Science of Computer Programming > 2005 > 58 > 1-2 > 115-140
Lecture Notes in Computer Science > Static Analysis > Invited Paper > 127-152
New Generation Computing > 2010 > 28 > 2 > 177-206
Science of Computer Programming > 2005 > 58 > 1-2 > 115-140