Κύριοι συγγραφείς:	Κρητικός, Ελευθέριος Δ., Kritikos, Eleftherios D.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Τυπική επαλήθευση Προδιαγραφές Copy-on-write λίστες Τυπικές μέθοδοι Πρόβλημα framing Specification Copy-on-write lists Formal methods Framing problem Implicit dynamic frames Fictional disjoint datastructures Priority inheritance prolocol Backpointers Chalice Verification
Διαθέσιμο Online:	http://hdl.handle.net/123456789/7667