1. Courses
  2. CSE304

Formal Methods in Software Engineering

  • Teacher
    Syed Faraz Ahmed
  • Category
    Computing
  • Course Code
    CSE304
  • Session
    Fall 2020

COMSATS CourseWare, abbreviated as CCW offers open materials developed by the faculty of CUI, the country’s foremost institution of education and research. The CCW is an expression of mission of COMSATS University Islamabad which states to "extend frontiers of knowledge”, “instigating inquiry”, “benefit students, scholars and communities across the country, the Muslim Ummah and the World, at large”, “share knowledge among non-degree seeking students” and “ extend, apply and exchange knowledge between the institute and society”.

COMSATS University Islamabad, Wah Campus
Wah Cantt, Rawalpindi, Punjab

© Copyright 2026, CUI Wah Campus.