The Spin Book

More Books on Logic Model Checking

Recommended books on General Programming

Recommended for Safety Critical Code

[return to main page]