Menu
Home
Help and information
About this website
Privacy Policy
Dino Distefano
1 published title
Footprint analysis: a shape analysis that discovers preconditions
(Contributor)
1 edition
Queen Mary University of London, Department of Computer Science
Details