( en | de | ru )

 

Disambiguation of "Müller, Peter"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Equivalent-Results Methods.

, and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 307-321. Springer, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Peter Müller

Peter Müller

Peter Müller

Peter Müller

Peter Müller

 

Other publications of authors with the same name

Bayesian Graphical Models for Computational Network Biology., , , and . BCB, page 751. ACM, (2017)Building automatic program verifiers.. PLMW@POPL, page 3:1. ACM, (2015)Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs., and . LASER Summer School, volume 6029 of Lecture Notes in Computer Science, page 91-139. Springer, (2008)A Modular Verification Methodology for C# Delegates., and . Rigorous Methods for Software Construction and Analysis, volume 5115 of Lecture Notes in Computer Science, page 187-203. Springer, (2009)Modular Verification of Static Class Invariants., and . FM, volume 3582 of Lecture Notes in Computer Science, page 26-42. Springer, (2005)Reasoning about Function Objects., , , , and . TOOLS (48), volume 6141 of Lecture Notes in Computer Science, page 79-96. Springer, (2010)A Verification Methodology for Model Fields., and . ESOP, volume 3924 of Lecture Notes in Computer Science, page 115-130. Springer, (2006)Verification of Equivalent-Results Methods., and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 307-321. Springer, (2008)Viper: A Verification Infrastructure for Permission-Based Reasoning., , and . Dependable Software Systems Engineering, volume 50 of NATO Science for Peace and Security Series - D: Information and Communication Security, IOS Press, (2017)Data and knowlage based experimental design for bioprocess optimization., , , , and . German Conference on Bioinformatics, page 199-200. (1999)