Honosítás adatlap
Bisztray, Dénes András
honosító intézmény
honosítás dátuma
2010-12-16
tudományág
oklevél dátuma
2010-01-22
fokozatot kiadó intézmény
University of Leicester
Egyesült Királyság, Leicester
értekezés címe
Modellszintű refaktorizációk kompozícionális verifikálása gráftranszformációk segítségével