TY - CONF
TI - On the role of interpolation in stepwise refinement
AU - Δημητράκος, Θ.
AU - Maibaum, Thomas S. E.
PY - 1997
SP - 181-186
PB - Πανεπιστήμιο Κύπρου
T2 - Α' Πανελλήνιο Συμπόσιο Λογικής: πρακτικά
ER -