Inzemamul Haque

Research Associate,
Department of Computer Science and Engineering,
Indian Institute of Technology Kanpur,
Uttar Pradesh-208016, India
my-photo

Publications

  1. 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