Rigorous Software Development

An Introduction to Program Verification

ISBN: 978-0-85729-017-5 (Print) 978-0-85729-018-2 (Online)