Publications
- Verification of a Generative Separation Kernel
Inzemamul Haque, Deepak D'Souza, Habeeb P, Arnab Kundu, Ganesh Babu
International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020
Inzemamul HaqueResearch Associate,Department of Computer Science and Engineering, Indian Institute of Technology Kanpur, Uttar Pradesh-208016, India |