Wednesday, November 8, 2017 Keywords: Formal Methods By: Shama Munir - ITC Wah Continue reading Seminar - Formal Verification; Formal Methods and its Applications to Computer Systems 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. Wednesday, November 8, 2017 Keywords: Formal Methods By: Shama Munir - ITC Wah Continue reading