ETAPS 2017

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

Desktop Layout
Thu, April 27, 2017
16:30 – 18:00
Run-Time Verification and Logic
TACAS
Sal B

Time stamp: 2019-03-23T14:37:45+01:00