Login / Signup

Afonso Ramos

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Semi Automatically
Program Execution
Semantically Equivalent
Semantic Level

Top Venues

ICST
Publications