Verification of Sequential and Concurrent Programs
Publisher: Springer
Published: May 03, 2010
Format: paperback
Number of pages: 528
ISBN-13: 9781848827462