Login / Signup
Éric Tanter
ORCID
Publication Activity (10 Years)
Years Active: 2001-2024
Publications (10 Years): 58
Top Topics
Inductive Reasoning
Symbolic Execution
Java Bytecode
Data Partitioning
Top Venues
CoRR
Proc. ACM Program. Lang.
Sci. Comput. Program.
ACM Trans. Program. Lang. Syst.
</>
Publications
</>