TY - CONF
TI - Program specification and verification
AU - Σηφάκης, Ιωσήφ
PY - 1997
SP - 123-124
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -