Software Abstractions : Logic, Language, and AnalysisSoftware Abstractions : Logic, Language, and Analysisde Daniel Jackson6 pointsJ'aiJe veux
