Ένα παίγνιο πληθοπορισμού για την τυπική επαλήθευση λογισμικού
A crowdsourcing game for formal software verification
Προβολή/
Όνομα Επιβλέποντος
Δασκαλοπούλου, Ασπασία
Ακρίτας, Αλκιβιάδης Γ.
Ημερομηνία
2016Γλώσσα
el
Λέξη-κλειδί
Πρόσβαση
ελεύθερη
Ακαδημαϊκός Εκδότης
Πανεπιστήμιο Θεσσαλίας. Πολυτεχνική Σχολή. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών.
Collections
Attribution-NonCommercial-NoDerivatives 4.0 International