@inproceedings{77e775515e274acc862bd386758abd08,
title = "Automatic Generation of Contracts for Concurrent Java Programs",
keywords = "paper, national, rank-X, rline-vvcs",
author = "Hugo Pereira and Sousa, {Diogo G.} and Jeremy Bradbury and Louren{\c c}o, {Jo{\~a}o M.}",
year = "2022",
month = sep,
language = "English",
isbn = "978-972-752-171-5",
series = "INForum 2022",
publisher = "FEUP Edi{\c c}{\~o}es",
pages = "131--132",
booktitle = "INForum 2022 - Atas do 13º Simp{\'o}sio de Inform{\'a}tica",
}