Κύριοι συγγραφείς:	Χαριτάτος, Αλέξανδρος-Ηρόδοτος Δ., Charitatos, Alexandros-Herodotos D.
Άλλοι συγγραφείς:	N/A
Μορφή:	bachelorThesis
Έκδοση:	N/A 1970
Θέματα:	Ορθότητα προγράμματος Συλλέκτης σκουπιδιών Διακοπή-αντιγραφή Caduceus Frama-C Program verification Garbage collector Semi-space Frama-c
Διαθέσιμο Online:	http://hdl.handle.net/123456789/5852