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

Contributions

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

ETAPS 2019-profile
View general profile