Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Pedro Ákos Costa
conf.researchr.org general profile
ICSE 2025 profile
Not registered as user
Name:
Pedro Ákos Costa
Affiliation:
NOVA LINCS & DI-FCT-UNL
Contributions
2025
FormaliSE
Author of Specifying Distributed Hash Tables with Allen Temporal Logic within the Research Track-track
Share
x
Fri 18 Jul 07:20