Alexander J. Summers

2 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.

Sound automation of magic wands
Thibault Dardinier et al. (2022) · 34th 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