Besnik Kajtazi is currently researching
Formal Methods at the
Department of Computer Science,
University of Essex, United Kingdom,
and has the great honour and pleasure of being supervised by
Professor Martin Henson.
They are currently undertaking
theoretic and pragmatic investigation on alternative schema-based
specifications. The resulting system aims to improve on the specification
language Z in a number of ways.
For more information please go
Back to top