@conference {17965,
	title = {Automatic Generation of Contracts for Concurrent Java Programs},
	year = {Submitted},
	attachments = {https://sites.fct.unl.pt/sites/default/files/hipstr/files/ps23_-_contracts.pdf},
	author = {Pereira, H. G. and Sousa, D. G. and Bradbury, J. S. and Louren{\c c}o, J. M.}
}
