Search results for: Peter Müller
Georg Simmel und die aktuelle Stadtforschung > Das städtische Individuum und das/der Fremde > 165-184
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Testing and Debugging > 338-352
Lecture Notes in Computer Science > Programming Languages and Systems > Program Verification > 307-321
Lecture Notes in Computer Science > Digital Libraries in Computer Science: The MeDoc Approach > 89-101
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 162-176
Lecture Notes in Computer Science > Programming Languages and Systems > Parallel and Concurrent Programming > 378-393
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2008 Workshop Reader > ECOOP 2008 Workshops: Final Reports > 30-41
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Methodology > 192-208
Lecture Notes in Computer Science > FM 2008: Formal Methods > Session 2. Programming Language Analysis > 68-83