Skip to main content
UGVLE
  • You are not logged in. (Log in)

Course info

  1. Home
  2. Courses
  3. CS
  4. Year 4
  5. Semester I
  6. SCS4212
  7. Summary

SCS4212 Formal Methods and Software Verification

  • Teacher: K.G.L.S. Gamage
  • Teacher: Gayathri Purage

  • SCS4212
  • Home

© 2020, All rights reserved by University of Colombo School of Computing
No: 35, Reid Avenue, Colombo 7, Sri Lanka.