Search results
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Abstract Interpretation > 146-160
Science of Computer Programming > 2014 > 95 > Part 2 > 254-271
Fundamenta Informaticae > 2011 > Vol. 106, nr 2-4 > 149-173
Electronic Notes in Theoretical Computer Science > 2007 > 173 > Complete > 47-66
Journal of Logic and Algebraic Programming > 2005 > 64 > 2 > 219-251