Sort by
Refine Your Search
-
Industry, with the reference ERA-MIN3/0002/2023 with e DOI 10.54499/ERA-MIN3/0002/2023 (https://doi.org/10.54499/ERAMIN3/0002/2023 ) funded by the Fundação para a Ciência e a Tecnologia, I.P., through
Enter an email to receive alerts for formal-methods-"https:" positions