Főoldal
Munkatársak
Tárgyak
Tevékenység
Pályázatok
Konferenciák
TDK
Pályázatok
Programhelyesség-bizonyítás algebrai módszerekkel
OO metrikák .NET-en
OTKA Funkcionális programok helyessége
IKTA JGrid
A magyar SzuperGrid és KlaszterGrid rendszerek felhasználó-orientált egységesítése
Erlang programok refaktorálása
CEEPUS H-81/HU-19