The term project is available.
Deadline to submit: Tuesday, May 21st , 23:59.
Presentations: Wednesday, May 22nd, 15:30 to 20:00.
Making software right, one (right) step at a time!
The term project is available.
Deadline to submit: Tuesday, May 21st , 23:59.
Presentations: Wednesday, May 22nd, 15:30 to 20:00.
The third homework is available here. Deadline: Tuesday April 30th, 2024, 23:59.
The second Event-B homework and the initial model are available.
Deadline: Tuesday, March 26th, 23:59.
The first homework for this course is available.
Deadline: Tuesday March 5th, 23:59.