A TripTych of Software Engineering



Dines Bjorner 2016-11-18