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