Evolution: A More Practical Approach than Refinement for Software Development.

Shaoying Liu

Browse the full ICECCS paper archive.