Deni Raco

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 3

Top Topics

Formal Verification

Safety Critical

Distributed Systems

Top Venues

Software Engineering (Workshops)

Software Engineering (Satellite Events)

Joint Workshop of the German Research Training Groups in Computer Science

Publications