Andrei Arusoaie

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 22

Top Topics

Formal Semantics

Directional Derivatives

Symbolic Execution

Static Analysis

Top Venues

J. Log. Algebraic Methods Program.

Alexandru Ioan Cuza University, Iași, Romania (PHD)

Education History

Alexandru Ioan Cuza University, Iași, Romania

PHD

Publications