Formal Verification - Seligman, Erik (Elsevier, 2015)
Keywords: Computer Science