Ένα παίγνιο πληθοπορισμού για την τυπική επαλήθευση λογισμικού

A crowdsourcing game for formal software verification

dc.contributor.advisor	Δασκαλοπούλου, Ασπασία	el
dc.contributor.advisor	Ακρίτας, Αλκιβιάδης Γ.	el
dc.creator	Καραμήτρου, Ειρήνη Γ.	el
dc.date.accessioned	2018-04-26T11:50:23Z
dc.date.available	2018-04-26T11:50:23Z
dc.date.issued	2016
dc.identifier.other	15028
dc.identifier.uri	http://hdl.handle.net/11615/48274
dc.language.iso	el	en
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 International	en
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	en
dc.subject.other	Λογισμικό υπολογιστών -- Επαλήθευση	el
dc.subject.other	Λογισμικό υπολογιστών -- Ποιοτικός έλεγχος	el
dc.subject.other	Πληθοπορισμός	el
dc.title	Ένα παίγνιο πληθοπορισμού για την τυπική επαλήθευση λογισμικού	el
dc.title	A crowdsourcing game for formal software verification	en
dc.type	bachelorThesis	en
heal.recordProvider	Πανεπιστήμιο Θεσσαλίας - Βιβλιοθήκη και Κέντρο Πληροφόρησης	el
heal.academicPublisher	Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.	el
heal.academicPublisherID	uth	en
heal.fullTextAvailability	true	en
dc.rights.accessRights	free	en

Attribution-NonCommercial-NoDerivatives 4.0 International