aliquote.org

October 15, 2020

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