Home
Staff
Courses
Projects
Conferences
Projects
Program Verification using Algebraic Methods
OO metrics on .NET
Correctness of Functional Programs - OTKA
IKTA JGrid
User oriented unifying of the Hungarian SuperGrid and ClusterGrid systems
Erlang refactoring
CEEPUS H-81/HU-19