@article {17964,
	title = {Automatic Generation of Contracts for Concurrent Java Progra},
	year = {2022},
	institution = {FCT-NOVA},
	address = {Lisboa},
	attachments = {https://sites.fct.unl.pt/sites/default/files/hipstr/files/per22_-_contracts.pdf},
	author = {Hugo Pereira}
}
