02 May 25


The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.

by struanr 9 months ago