"Practical Strengthening of Preconditions" by Ashish Kundu and Patrick Eugster

Skip to main content

Computer Science Technical Reports

Title

Practical Strengthening of Preconditions

Authors

Ashish Kundu
Patrick Eugster, Purdue UniversityFollow

Date of this Version

2008

Report Number

08-029

Number of Pages

34

Included in

Computer Sciences Commons

COinS