The Correctness-By-Construction Approach to Programming
Publisher: Springer
Published: Apr 18, 2012
Format: paperback
Number of pages: 280
ISBN-13: 9783642279201