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. ...
Lire la suite
Total Books: 1 - 1 /1
