Constructing Correct Software
Publisher: Springer
Published: Mar 12, 2014
Format: paperback
Number of pages: 412
ISBN-13: 9781447139867