Abstraction and Modelling (CFS185)

Logic Programming (CAS365)

Introduction to Formal Specification (CAS436)

Theory of Algorithms (CAS341)