Tue 6 Nov 2018 10:30 - 10:52 at Horizons 5 - Formal Analysis

Tue 6 Nov

fse-2018-Industry
10:30 - 12:00: Industry - Formal Analysis at Horizons 5
fse-2018-Industry10:30 - 10:52
Talk
Niloofar Mansoor, Jonathan A. Saddler, Bruno SilvaUniversity of Nebraska-Lincoln, Hamid BagheriUniversity of Nebraska-Lincoln, USA, Myra CohenIowa State University, Shane Farritor
fse-2018-Industry10:52 - 11:14
Talk
fse-2018-Industry11:14 - 11:36
Talk
Neha RungtaAmazon Web Services