Industrial Applications of Formal Methods to Model, Design and Analyze Computer SystemsEbookIndustrial Applications of Formal Methods to Model, Design and Analyze Computer SystemsbyDan CraigenRating: 0 out of 5 stars0 ratingsSave Industrial Applications of Formal Methods to Model, Design and Analyze Computer Systems for later