Cláudio Gomes profile picture

Cláudio Gomes

Is this your author profile? Create an account to customize it!

Stand Alone

Engineering Trustworthy Software Systems
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers