Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Giovanni Beltrame
conf.researchr.org general profile
ICSE 2022 profile
Not registered as user
Name:
Giovanni Beltrame
Country:
Canada
Affiliation:
Polytechnique Montreal
Contributions
2022
RoSE
Author of Automated Extraction and Checking of Property Models from Source Code for Robot Swarms within the RoSE 2022-track
Share
x
Fri 20 Dec 18:26