Skip to navigation Skip to navigation Skip to search form Skip to login form Skip to main content Skip to accessibility options Skip to footer
Skip accessibility options
Text size
Line height
Text spacing
Help
Loading...
  • Student Portal
  • Student Email
  • Library
  • Off-Campus
  • Past Papers
  • KABU Repository
  • Timetables
  • Guidelines
  • Website
  • Notices
  • News & Updates
Kabarak University OnlineKabarak University Online

Log in

Show
Forgotten your username or password?
    • Student Portal
    • Student Email
    • Library
    • Off-Campus
    • Past Papers
    • KABU Repository
    • Timetables
    • Guidelines
    • Website
    • Notices
    • News & Updates

    Formal Methods in Software Engineering

    1. Home
    2. Courses
    3. May-August 2026
    4. Blended
    5. School of Science,Engineering and Technology
    6. Bachelor of Science in Computer Science
    7. INTE 461_050825-S03-BL
    8. Summary
    Formal Methods in Software Engineering

    Formal Methods in Software Engineering

    Course start date: 21 May 2026
    • Lecturer: Simon Ruoro
    Enter this course

    Blocks

    Skip Administration

    Administration

    • Course administration

      • Question bank

        • Generate questions

    Skip Activities

    Activities

    • ForumForums

    Copyright © 2026, Kabarak University; "World Class Education in Biblical Perspective".

    Get the mobile app
    Scroll to top

    Log in

    Show
    Forgotten your username or password?