Ένα παίγνιο πληθοπορισμού για την τυπική επαλήθευση λογισμικού
A crowdsourcing game for formal software verification
![Thumbnail](/xmlui/bitstream/handle/11615/48274/15028.pdf.jpg?sequence=3&isAllowed=y)
Προβολή/ Άνοιγμα
Συγγραφέας
Καραμήτρου, Ειρήνη Γ.Όνομα Επιβλέποντος
Δασκαλοπούλου, Ασπασία
Ακρίτας, Αλκιβιάδης Γ.
Ημερομηνία
2016Γλώσσα
el
Λέξη-κλειδί
Πρόσβαση
ελεύθερη
Ακαδημαϊκός Εκδότης
Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.