ETAPS 2017

2017 European Joint Conferences on Theory and Practice of Software (ETAPS), April 22–29, 2017, Uppsala, Sweden

Desktop Layout
Mon, April 24, 2017
09:00 – 10:00
Validation, Synthesis, and Optimization for Cyber-Physical Systems (Invited Talk) (Kim Guldstrand Larsen)
Plenary
Stora Salen, 6th Floor

Time stamp: 2019-03-18T04:09:13+01:00