Not registered as user yet

Name:Aleksandr Karbyshev
Affiliation:Tel Aviv University

Contributions

POPL 2016 Author of Decidability of Inferring Inductive Invariants within the Research Papers-track