iiithf / software-foundations

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

https://softwarefoundations.cis.upenn.edu/

Geek Repo

Github PK Tool