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