Search results
Lecture Notes in Computer Science > Static Analysis > Invited Paper > 127-152
Science of Computer Programming > 2005 > 58 > 1-2 > 115-140
Lecture Notes in Computer Science > Static Analysis > Invited Paper > 127-152
Science of Computer Programming > 2005 > 58 > 1-2 > 115-140