ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Oded Padon

Registered user since Thu 30 Jun 2016

Name: Oded Padon

Country: United States

Affiliation: Stanford University

Personal website: https://cs.stanford.edu/~padon

Contributions

ETAPS 2019 Decidable Reasoning for Verification: How Far Can You EPR?
Show activities from other conferences

ETAPS 2019-profile
View general profile