The Correctness-by-Construction Approach to Programming
Publisher: Springer
Published: May 09, 2014
Format: paperback
Number of pages: 280
ISBN-13: 9783642448546