Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings D'Souza Deepak Heftet / 2017 / Engelsk
Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings D'Souza Deepak Heftet / 2015 / Engelsk
Model checking trace-based information flow properties Kagalavadi Ramesh, Raghavendra Heftet / 2012 / Engelsk
