Formal methods and software engineering by Zhiming Liu | Menrva Books | MenrvaBooks