Vissza |
Nagy Tamás; Horváth Zoltán; Lövei László; Tóth Melinda; Nagyné Víg Anikó: Call graph and data flow analysis of a dynamic functional language : [abstract].
Lövei László; Tejfel Máté; Mészáros Mónika; Horváth Zoltán; Kozsik Tamás: Comparing specification with proved properties of clean dynamics : [abstract].
Horváth Zoltán; Lövei László; Kozsik Tamás; Víg Anikó; Nagy Tamás: Refactoring Erlang programs : [abstract].