Thursday, October 6, 2016 Keywords: Formal Methods By: Shama Munir Continue reading Seminar titled "An Informal Introduction to Formal Methods" Department of Electrical Engineering arranged a Seminar titled "An Informal Introduction to Formal Methods" on October 6, 2016. Guest Speaker, Dr. Osman Hasan, Assistant Professor from SEECS NUST informed the audience on subject. Thursday, October 6, 2016 Keywords: Formal Methods By: Shama Munir Continue reading