Search results for: Mila Majster-Cederbaum
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods > 253-267
Information and Computation > 2010 > 208 > 9 > 997-1019
Theoretical Computer Science > 2004 > 318 > 3 > 243-296