
Registered user since Tue 28 Nov 2017
Name:Alcino Cunha
Country:Portugal
Affiliation:University of Minho and INESC TEC, Portugal
Personal website:http://www.di.uminho.pt/~alcino
Research interests:Software Engineering, Formal Methods
Contributions
RoSE 2021 | The High-Assurance ROS Framework | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICSE 2021-profile
View general profile
View general profile