TY - CONF
TI - Program modules and their verification
AU - Antoniou, G.
PY - 1991
SP - 210-221
PB - Εκδόσεις Νέων Τεχνολογιών
T2 - 3ο Πανελλήνιο Συνέδριο Πληροφορικής. Η πληροφορική στη δεκαετία του '90. Τεχνολογία - αναπτυξιακή πολιτική (Τόμος 1)
ER -