Search results for: Manuel Fähndrich
Lecture Notes in Computer Science > Static Analysis > 114-126
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 184-200
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Programming Language and Methodology Aspects > 144-152
Lecture Notes in Computer Science > Compiler Construction > Analyses > 197-212
Lecture Notes in Computer Science > ECOOP 2004 – Object-Oriented Programming > Verification > 465-490
Lecture Notes in Computer Science > Static Analysis > Pointer Analysis > 260-278
Automated Software Engineering > 2015 > 22 > 3 > 333-366
IEEE Transactions on Software Engineering > 2013 > 39 > 6 > 774 - 786
Electronic Notes in Theoretical Computer Science > 2012 > 288 > Complete > 15-23
Science of Computer Programming > 2010 > 75 > 9 > 796-807