133
click to vote
ICTAC
2009
Springer
16 years 1 days ago
2009
Springer
“Classical” program development by refinement [12, 2, 3] is a technique for ensuring that source-level program code remains faithful to the semantic goals set out in its corre...