Search results for: Peter Müller
Lecture Notes in Computer Science > Rigorous Methods for Software Construction and Analysis > 187-203
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOBIUS Project > 72-112
Lecture Notes in Computer Science > ECOOP 2011 – Object-Oriented Programming > Aliasing and Ownership > 333-357
Lecture Notes in Computer Science > ECOOP 2004 – Object-Oriented Programming > Verification > 491-515
Lecture Notes in Computer Science > Construction and Analysis of Safe, Secure, and Interoperable Smart Devices > 129-150
The International Series in Engineering and Computer Science > Advanced Methods of Pharmacokinetic and Pharmacodynamic Systems Analysis Volume 3 > Pharmacotherapy > 239-253
Lecture Notes in Computer Science > Verified Software: Theories, Tools, Experiments > Verifying Object-Oriented Programming > 93-104
Lecture Notes in Computer Science > Object-Oriented Technology. ECOOP 2008 Workshop Reader > ECOOP 2008 Workshops: Final Reports > 70-76