2012

The Correctness-by-Construction Approach to Programming

Authors:

ISBN: 978-3-642-27918-8 (Print) 978-3-642-27919-5 (Online)