iiithf / software-foundations Goto Github PK
View Code? Open in Web Editor NEWSoftware Foundations is a broad introduction to the mathematical underpinnings of reliable software.
Home Page: https://softwarefoundations.cis.upenn.edu/
License: MIT License