Formal Verification Makeup Exam, 5.02.2010

Student			ExPts	Exam	Proj	Final
-----------------------------------------------------
Valentin Bisa		21	3		-
Andrei Boca		50	5	9	7
Ovidiu Capusan		27	3		-
Maria Grozea		42	4		-
Roxana Iancu		29	3		-
Valentin Lupea		50	5	9	7
Gabriel Muntean		36	4		-	
Ramona Noje		0	2		-
Ana Maria Parvu		51	6	9	8
Cristina Pataca		58	6	10	8
Otilia Roman		50	5	10	8
Ionut Sorhent		21	3		-		
Adrian Turai		50	5	9	7
Zamfir Tucudeanu	50	5	10	8
Ionut Vaidianu		39	4		-

	Formal Verification Makeup Exam, 19.04.2010

Student			ExPts	Exam	Proj	Final
-----------------------------------------------------
Valentin Bisa		52	6	8	7
Snejana Bogdanov	55	6	8	7
Ovidiu Capusan		26	3		-
Maria Grozea		52	6	6	6		
Roxana Iancu		36	4		-
Iulia Lozba		33	4		-
Andrei Mihut		33	4		-
Gabriel Muntean		32	4		-
Ramona Noje		43	4		-
Ionut Sorhent		50	5	5	5	
Ionut Vaidianu		50	5	9	7