HEAL DSpace

Βελτιώσεις της Εκφραστικότητας και της Ευκολίας Χρήσης του Εργαλείου State Machine Bug Finder

Αποθετήριο DSpace/Manakin

Βελτιώσεις της Εκφραστικότητας και της Ευκολίας Χρήσης του Εργαλείου State Machine Bug Finder

Τίτλος: Βελτιώσεις της Εκφραστικότητας και της Ευκολίας Χρήσης του Εργαλείου State Machine Bug Finder;
Improving the Expressibility and Ease of Use of State Machine Bug Finder
Ιορδανίδης, Κρίτων; Iordanidis, Kriton
URI: https://dspace.lib.ntua.gr/xmlui/handle/123456789/63534

Εμφάνιση πλήρους εγγραφής

Αρχεία σε αυτό το τεκμήριο

[PDF]
Όνομα: main.pdf
Μέγεθος: 976.0Kb
Μορφότυπο: PDF
Προβολή/Άνοιγμα

Οι παρακάτω άδειες σχετίζονται με αυτό το τεκμήριο:

Αυτό το τεκμήριο εμφανίζεται στην ακόλουθη συλλογή(ές)

Αναφορά Δημιουργού 3.0 Ελλάδα Εκτός από όπου ορίζεται κάτι διαφορετικό, αυτή η άδεια περιγράφεται ως Αναφορά Δημιουργού 3.0 Ελλάδα