Daniel Gracia Pérez

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 15

Top Topics

Oriented Programming

Amazon Mechanical Turk

Formal Verification

Safety Critical

Top Venues

J. Syst. Archit.

Publications