Original Title:
On the role of interpolation in stepwise refinement
Languages of Item:
English
Creator:
Dimitrakos, Theo
Maibaum, Thomas S. E.
Main subject category:
Logic
Other subject categories:
Computer science
Keywords:
stepwise refinement, interpolation, uniformity, subentailments
Notes:
Περιλαμβάνει περίληψη και βιβλιογραφικές αναφορές
