Szabolcs Mikulas - Teaching

School of Computer Science and Information Systems

Dr Szabolcs Mikulas / Teaching

List of Publications

Colleagues
and Co-authors

Theorem - Provers

Permutation Model

Computer systems

Lecturer: Dr Szabolcs Mikulas (szabolcs@dcs.bbk.ac.uk)

Computer Systems

MSc/PGDip in Computing Science

MScAIS/MRes