Miroslav Pajic - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Not registered as user yet

Name:Miroslav Pajic

Country:United States

Affiliation:Duke University

Personal website: http://people.duke.edu/~mp275/

Contributions

2019

HSB

Committee Member in Program Committee within the HSB-track

TACAS

LCV: A Verification Tool for Linear Controller Software

Show activities from other conferences

ETAPS 2019-profile
View general profile