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

First Page	Meta Content
	BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, London Add to Reading List Document Date: 2015-05-26 06:01:52 Open Document File Size: 251,96 KB Share Result on Facebook

BI as an Assertion Language for Mutable Data Structures Samin Ishtiaq Peter W. O’Hearn Queen Mary & Westfield College, LondonAdd to Reading List