Skip to main content
Moodle Moodle
  • Home
    My Page Courses
  • Useful Links
    CSE Home IITK Home Webmail Pingala DoAA DoSA OA SPO Library IITK Student Search
  • English ‎(en)‎
    English ‎(en)‎ हिंदी ‎(hi)‎ বাংলা ‎(bn)‎ ਪੰਜਾਬੀ ‎(pan)‎ தமிழ் ‎(ta_lk)‎ తెలుగు ‎(te)‎ ಕನ್ನಡ ‎(kn)‎ മലയാളം ‎(ml)‎
Close
Toggle search input
  • You are not logged in. (Log in)
  • CS639-2023-2024-I
  • Home

Course info

  1. Home
  2. Courses
  3. July - Dec - 2023 - 2024 - I
  4. CS639-2023-2024-I
  5. Summary

CS 639: Program Analysis Verification And Testing

  • Teacher: Subhajit Roy

You are not logged in. (Log in)
CS639-2023-2024-I
  • Home
    • My Page
    • Courses
  • Useful Links
    • CSE Home
    • IITK Home
    • Webmail
    • Pingala
    • DoAA
    • DoSA
    • OA
    • SPO
    • Library
    • IITK Student Search
  • English ‎(en)‎
    • English ‎(en)‎
    • हिंदी ‎(hi)‎
    • বাংলা ‎(bn)‎
    • ਪੰਜਾਬੀ ‎(pan)‎
    • தமிழ் ‎(ta_lk)‎
    • తెలుగు ‎(te)‎
    • ಕನ್ನಡ ‎(kn)‎
    • മലയാളം ‎(ml)‎
Data retention summary
Get the mobile app