Refactoring Erlang programs [abstract] /

Horváth Zoltán, Lövei László, Kozsik Tamás, Víg Anikó, Nagy Tamás
2006

Comparing specification with proved properties of clean dynamics [abstract] /

Lövei László, Tejfel Máté, Mészáros Mónika, Horváth Zoltán, Kozsik Tamás
2006

Call graph and data flow analysis of a dynamic functional language [abstract] /

Nagy Tamás, Horváth Zoltán, Lövei László, Tóth Melinda, Nagyné Víg Anikó
2008