David M. Kahn

Registered user since Fri 10 May 2019

Name: David M. Kahn

Affiliation: Carnegie Mellon University, USA

Contributions

PLDI 2019 Scalable Verification of Probabilistic Networks
Show activities from other conferences

PLDI 2019-profile
View general profile