Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)

Customers who purchased this also purchased....