ATVA2019: 17TH INTERNATIONAL SYMPOSIUM ON AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS
PROGRAM FOR SUNDAY, OCTOBER 27TH
Days:
next day
all days

View: session overviewtalk overview

08:30-09:00 Session 1: Registration
09:00-16:00 Session 2: Workshop (INFINITY'19)

http://atva2019.iis.sinica.edu.tw/infinity2019/index.html