Isabelle Bacher

Publication Activity (10 Years)

Years Active: 2020-2021
Publications (10 Years): 2

Top Topics

Symbolic Execution

Static Analysis

Consistency Checking

Top Venues

Publications