Peter W. O'Hearn

1 published title

Footprint analysis: a shape analysis that discovers preconditions

(Contributor)

1 edition

Queen Mary University of London, Department of Computer Science
Details

obnb.uk is a Good Stuff website.