Tech Report Number
08-029
Date of this Version
11-19-2008
Recommended Citation
Kundu, Ashish and Eugster, Patrick, "Practical Strengthening of Preconditions" (2008). Department of Computer Science Technical Reports. Paper 1716.
https://docs.lib.purdue.edu/cstech/1716
Number of Pages
34