×
  • The spin model checker : primer and reference manual

    Gerard J Holzmann

Click on cover to enlarge.
Buy This Book
From Amazon.