| |
| 2006 | ||
|---|---|---|
| 3 | EE | Máté Tejfel, Zoltán Horváth, Tamás Kozsik: Extending the Sparkle Core language with object abstraction. Acta Cybern. 17(2): (2006) |
| 2005 | ||
| 2 | EE | Máté Tejfel, Zoltán Horváth, Tamás Kozsik: Temporal Properties of Clean Programs Proven in Sparkle-T. CEFP 2005: 168-190 |
| 2003 | ||
| 1 | Zoltán Horváth, Tamás Kozsik, Máté Tejfel: Proving Invariants of Functional Programs. SPLST 2003: 115-126 | |
| 1 | Zoltán Horváth | [1] [2] [3] |
| 2 | Tamás Kozsik | [1] [2] [3] |