Total Books: 1 - 1 /1
Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
Lee mas
Total Books: 1 - 1 /1
