The Model Checker Spin (1997)

by G Holzmann
Venue:Software Engineering