Formal Verification - Erik Seligman, Tom Schubert and M V Achutha Kiran Kumar (Morgan Kaufmann, 2015)
Keywords: Computer Science 2015