Friday, December 22, 2017 Keywords: Seminar By: Shama Munir - ITC Wah Continue reading Seminar: The Role of Formal Methods in Software Development and its Applications Department of Computer Science conducted a Seminar on “The Role of Formal Methods in Software Development and its Applications” on December 22, 2017 by Assistant Professor, Dr. Wilayat Khan of Electrical Engineering Department. Friday, December 22, 2017 Keywords: Seminar By: Shama Munir - ITC Wah Continue reading