Search results for: Gregor Snelting
Lecture Notes in Computer Science > Functional Programming Languages and Computer Architecture > 1-14
Lecture Notes in Computer Science > ECOOP 2002 — Object-Oriented Programming > Theory and Formal Techniques > 562-584
Lecture Notes in Computer Science > Static Analysis > 332-348
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 30-44
Lecture Notes in Computer Science > ESEC '91 > 396-408
International Journal of Information Security > 2015 > 14 > 3 > 263-287
Science of Computer Programming > 2015 > 97 > Part 1 > 122-126
Automated Software Engineering > 2009 > 16 > 2 > 263-290