Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nuno Policarpo
conf.researchr.org general profile
ICSE 2025 profile
Registered user since Fri 17 Jan 2025
Name:
Nuno Policarpo
Affiliation:
Instituto Superior Técnico, University of Lisbon
Contributions
2025
FormaliSE
Author of Specifying Distributed Hash Tables with Allen Temporal Logic within the Research Track-track
Share
x
Wed 19 Mar 10:02