Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software
ACM Digital Library