Skip to main content
Side panel
IIT Goa
Enter your search query
You are not logged in. (
Log in
)
Indian Institute of Technology Goa
Home
Courses
CSE
Course categories:
Miscellaneous
Miscellaneous / Recruitment Exam
CSE
EE
EE / EE Autumn 2022-23 (August 2022)
EE / EE Autumn 2023-24 (July 2023)
ME
Mathematics
Humanities and Social Sciences (HSS)
Humanities and Social Sciences (HSS) / Autumn 23
Physics
Chemistry
Mathematics & Computing
Physical Education
Search courses
Go
«
Previous
1
2
(current)
CS 570-Model Checking and Software Verification
«
Previous
1
2
(current)
Home