Peter Müller

Digital Library

ACM Fellows

Switzerland - 2025

citation

For contributions to automated, modular program verification.

Press Release