15:59 · Mar 5, 2022 · Sat
The Software Foundations: mathematical underpinnings of reliable software https://softwarefoundations.cis.upenn.edu/