Search results for: Immo Grabe
Lecture Notes in Computer Science > Fundamentals of Software Engineering > Session 2. Regular Papers > 324-339
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 1-16
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Object-Orientation > 367-386
Lecture Notes in Computer Science > SOFSEM 2010: Theory and Practice of Computer Science > Regular Papers > 200-211
Journal of Logic and Algebraic Programming > 2012 > 81 > 4 > 541-557
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 33-48
Journal of Logic and Algebraic Programming > 2009 > 78 > 7 > 491-518