Software Foundations: intro into mathematical underpinnings of reliable softwaresoftwarefoundations.cis.upenn.edu2 pointsespeed8 years ago