@conference {DBLP:conf/ecoop/DiasDSL12,
	title = {Verification of Snapshot Isolation in Transactional Memory Java Programs},
	booktitle = {26th European Conference on Object-Oriented Programming},
	year = {2012},
	note = {<p>n/a</p>
},
	month = {June 11-16},
	pages = {640-664},
	address = {Beijing, China},
	abstract = {<p>n/a</p>
},
	author = {Ricardo J. Dias and Dino Distefano and Jo{\~a}o Costa Seco and Jo{\~a}o Louren{\c c}o}
}
