Wyniki
-
On the completeness of program verifications methods
Balazs Biro
Bulletin of the Section of Logic , 10 /2 (1981) s. 83-90 -
The graduate tracking and attainment model at the University of Pécs
Norbert Sipos, Gabriella Kurath
The Journal of Education, Culture and Society /2 (2013) s. 247-261