Besnik Kajtazi

According to our database, Besnik Kajtazi authored at least 4 papers between 2003 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Specification refinement and program development in vZ.

Besnik Kajtazi

PhD thesis, 2009

2006

The specification logic nuZ.

Martin C. Henson, Moshe Deutsch, Besnik Kajtazi

Formal Aspects Comput., 2006

2005

The Specification Logic vZ.

Martin C. Henson, Besnik Kajtazi

Proceedings of the REFINE 2005 Workshop, 2005

2003

Modular refinement in novel schema calculi.

Moshe Deutsch, Martin C. Henson, Besnik Kajtazi

Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC 2003), 2003