Besnik Kajtazi

Publication Activity (10 Years)

Years Active: 2003-2006
Publications (10 Years): 0

University of Essex, Colchester, UK (PHD)

Education History

University of Essex, Colchester, UK

PHD

Publications

Martin C. Henson, Moshe Deutsch, Besnik Kajtazi
The specification logic nuZ. Formal Aspects Comput. 18 (3) (2006)
Martin C. Henson, Besnik Kajtazi
The Specification Logic vZ. Electron. Notes Theor. Comput. Sci. 137 (2) (2005)
Moshe Deutsch, Martin C. Henson, Besnik Kajtazi
Modular refinement in novel schema calculi. APSEC (2003)