The Foundations of Program Verification by Jacques Loeckx | Menrva Books | MenrvaBooks