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