Skip to main content
UGVLE
  • Home
  • More
Log in
Home

    Course info

    SCS4212 Formal Methods and Software Verification

    • Teacher: D N Ranasinghe
    • Teacher: Yohani Ranasinghe
    • Teacher: D Sandaruwan
    • Teacher: P.D. Wilagama

    You are not logged in. (Log in)
    Data retention summary
    Get the mobile app
    Powered by Moodle

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