Peter Müller

5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

The complete guide to scion

Laurent Chuat et al. (2022) · Information Security and Cryptography

Sound automation of magic wands

Thibault Dardinier et al. (2022) · 34th International Conference on Computer Aided Verification (CAV)

Gobra: Modular specification and verification of go programs

Felix A. Wolf et al. (2021) · 33rd International Conference on Computer Aided Verification (CAV)

Viper: A verification infrastructure for permission-based reasoning

Peter Müller et al. (2016) · Verification, Model Checking, and Abstract Interpretation: 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings 17

JML Reference Manual

Gary T. Leavens et al. (2013)