Login / Signup
Miguel Trinca
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Quantum Inspired
Symbolic Execution
Computer Programs
Test Generation
Top Venues
ICST Workshops
</>
Publications
</>