COL876 Special Topics in Formal Methods, IIT Delhi · ProfRate