• Monday, November 13, 2017

  • CIIT

  • Shama Munir - ITC Wah

Department of Electrical Engineering conducted a seminar titled “Formal Verification; Formal Methods and its Applications to Computer Systems” on November 8, 2017 by Assistant Professor, Dr.Wilayat Khan, organized by IEEE CIIT Wah Student Chapter.