Máté Tejfel

	2006
3		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		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

Coauthor Index

1	Zoltán Horváth	[1] [2] [3]
2	Tamás Kozsik	[1] [2] [3]