Rigorous Software Development : An Introduction to Program Verification
ISBN: 9780857290182
Information Available:
Summary
Author Notes
Inside Flap
Cover Image
Reviews
Copyright held by Baker & Taylor.