Besnik Kajtazi

	2006
3		Martin C. Henson, Moshe Deutsch, Besnik Kajtazi: The specification logic nuZ. Formal Asp. Comput. 18(3): 364-395 (2006)
	2005
2		Martin C. Henson, Besnik Kajtazi: The Specification Logic vZ. Electr. Notes Theor. Comput. Sci. 137(2): 111-129 (2005)
	2003
1		Moshe Deutsch, Martin C. Henson, Besnik Kajtazi: Modular refinement in novel schema calculi. APSEC 2003: 197-

Coauthor Index

1	Moshe Deutsch	[1] [3]
2	Martin C. Henson	[1] [2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page