Formal Methods Foundations and Applications Lecture Notes in Computer Science by Jim Woodcock | Menrva Books | MenrvaBooks