Search results for: Mandana Vaziri
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 198-213
Lecture Notes in Computer Science > ECOOP 2010 – Object-Oriented Programming > Type Systems > 304-328
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Constraint-Solving and Decision Procedures > 505-520
International Journal on Software Tools for Technology Transfer > 2011 > 13 > 6 > 495-518
Science of Computer Programming > 1997 > 28 > 2-3 > 273-299