Yotam M. Y. Feldman - POPL 2021

Write a Blog >>

Sun 17 - Fri 22 January 2021 Online

Registered user since Fri 1 Jul 2016

Name:Yotam M. Y. Feldman

Affiliation:Tel Aviv University

Personal website: http://www.cs.tau.ac.il/research/yotam.feldman/

Contributions

2021

POPL

Learning the Boundary of Inductive Invariants

Show activities from other conferences

POPL 2021-profile
View general profile