Πρωτότυπος Τίτλος:
On the role of interpolation in stepwise refinement
Γλώσσες Τεκμηρίου:
Αγγλικά
Δημιουργός:
Δημητράκος, Θ.
Maibaum, Thomas S. E.
Περίληψη:
Δεν υπάρχει περίληψη
Κύρια θεματική κατηγορία:
Λογική
Λοιπές θεματικές κατηγορίες:
Πληροφορική
Λέξεις-κλειδιά:
stepwise refinement, interpolation, uniformity, subentailments
Σελίδες (από-έως):
181-186
Σημειώσεις:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές