Choose your language:




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 a 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 to Publications.

Back to top

Back to top

Kjo faqe n gjuhn shqipe

Besnik Kajtazi