Programming Languages and Systems More Books by Thomas Wies

On the Pursuit of Insight and Elegance

Networked Systems

Verified Software. Theories, Tools, and Experiments