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