@article {7728,
	title = {Detection of Snapshot Isolation Anomalies in Software Transactional Memory: A Static Analysis Approach},
	year = {2011},
	month = {UNL-DI-5-2011},
	institution = {Universidade Nova de Lisboa},
	attachments = {https://sites.fct.unl.pt/sites/default/files/synergy-vm/files/2011-dias.pdf},
	author = {Ricardo J. Dias and Jo{\~a}o Costa Seco and Jo{\~a}o M. Louren{\c c}o}
}
