1-2 of 2 Books
Software Engineering
By Roger S. Pressman,Bruce Maxim
Computer aided verification
By Nicolas Halbwachs,Doron Peled