Robert Kurshan: Computer-aided Verification: A Special Issue of Formal Methods in System Design on Computer-aided Verification
____________________________
Author: Robert Kurshan
Number of Pages: 142 pages
Published Date: 05 Oct 2012
Publisher: Springer-Verlag New York Inc.
Publication Country: New York, NY, United States
Language: English
ISBN: 9781461365792
Download Link: Click Here
____________________________