BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary - Westfield College - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-05-26 06:01:52		BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, London Add to Reading List Source URL: www.lsv.ens-cachan.fr Download Document from Source Website File Size: 251,96 KB Share Document on Facebook