ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
Nuno Macedo

Registered user since Mon 10 May 2021

Name:Nuno Macedo
Country:Portugal
Affiliation:University of Porto; INESC TEC
Research interests:Lightweight formal methods, Trustworthy software design, Safe robotic software

Contributions

Show activities from other conferences

ASE 2023-profile
View general profile