Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software by Hakan Erdogmus | Menrva Books | MenrvaBooks