S softwarefoundations.cis.upenn.edu The Software Foundations: mathematical underpinnings of reliable software 134 points hegzploit 4 years ago 24 comments
