@proceedings {3143,
	title = {Verification of Snapshot Isolation in Transactional Memory Java Programs},
	journal = {Proceedings of the 26th European conference on Object-oriented programming (ECOOP)},
	year = {2012},
	pages = {640 to 664},
	publisher = {Springer-Verlag ( Germany )},
	address = {Beijing, China},
	author = {Ricardo Dias and Dino Distefano and Jo{\~a}o Costa Seco and Louren{\c c}o, Jo{\~a}o}
}
