Research output per year
Research output per year
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Conference contribution
-
Automatic Generation of Contracts for Concurrent Java Programs
Pereira, H., Sousa, D. G., Bradbury, J. & Lourenço, J. M., Sept 2022, INForum 2022 - Atas do 13º Simpósio de Informática. Porto, Portugal: FEUP Edições, p. 131-132 2 p. (INForum 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open AccessFile135 Downloads (Pure)