Malte Schwerhoff
1 reference 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.
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