Skip to main content
LMS - UOC FOS
You are not logged in. (Log in)

Course info

  1. Home
  2. Courses
  3. Level 4
  4. CS 4119
  5. Summary

CS 4119 - Formal Methods and Software Verification

  • Teacher: Randil Pushpananda
  • Teacher: Yohani Ranasinghe
  • Teacher: K.D. Sandaruwan

Skip Navigation
Navigation

  • Home

    • My courses

    • ForumSite announcements

    • My courses

    • Courses

      • Level 4

        • PH 4131

        • PH 4131_1

        • AM 4085

        • PH 4027

        • FM 4052

        • FM 4057

        • PH 4037

        • PH 4017

        • PH 4050

        • AM 4001

        • AM 4002

        • CS 4119

      • Level 1

      • Level 2

      • Level 3

      • Miscellaneous

      • Enhancement

Contact site support
You are not logged in. (Log in)
CS 4119
Data retention summary
Get the mobile app