Κύριοι συγγραφείς:	Παρασκευοπούλου, Ζωή Α., Paraskevopoulou, Zoi A.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Δοκιμή λογισμικού Δοκιμή βασισμένη σε προδιαγραφές Επαλήθευση Παραγωγή δεδομένων δοκιμής Εργαλείο διαδραστικών αποδείξεων Software testing Property-based testing Verification Test data generation Proof assistants Coq
Διαθέσιμο Online:	http://dspace.lib.ntua.gr/handle/123456789/39910