An Introduction to Formal Program Verification - Hardcover

Mili, Ali

 
9780442263225: An Introduction to Formal Program Verification