Software verification and analysis an integrated, hands-on approach - Laski, Janusz; Stanley, William (London Springer, 2009)
Dr. Prospero Naval Jr. (recommending faculty) : CS Dept.
Keywords: Computer software -- Verification