Buy This Article
From Acm.
Journal:
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017
Visit Journal Webpage