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

Date of this Version

2008

Tech Report Number

08-029

Number of Pages

34

Share

COinS