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
Reset settings
Close
Accessibility profiles
Visual impairment
Seizure and epileptic
Color vision deficiency
ADHD
Learning
Content adjustments
Readable font
Highlight headings
Highlight links
Highlight buttons
Hide images
Tooltips
Stop animations
Text size
+
+ +
+ + +
Line height
+
+ +
+ + +
Text spacing
+
+ +
+ + +
Color adjustments
Dark contrast
Light contrast
Invert colors
Change colors
High contrast
High saturation
Low saturation
Monochrome
Orientation adjustments
Reading guide
Reading Mask
Big black cursor
Big white cursor
Student Portal
Student Email
Library
Off-Campus
Past Papers
KABU Repository
Timetables
Guidelines
Website
Notices
News & Updates
Search
Log in
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
Home
Courses
May-August 2026
Blended
School of Science,Engineering and Technology
Bachelor of Science in Computer Science
INTE 461_050825-S03-BL
Enrolment options
Enrolment options
Formal Methods in Software Engineering
Course start date:
21 May 2026
Lecturer:
Simon Ruoro
Guests cannot access this course. Please log in.
Continue
Scroll to top
×
Log in
Show
Forgotten your username or password?
Close
×
Close
×
Close
