Wondar

Formal Methods (FM)

Mathematical techniques ensuring software/system correctness and reliability through rigorous analysis.

Course Outline

Past Papers

Quizzes

Assignments

Books

Lab Tasks

Others

Not Enough?

If you have material for this subject that isn't here, please email the document with its details to wondarlms@gmail.com to list it here. Thank You!