Bertinoro Seminar on Distributed Runtime Verification |
The slides of some the presentations are available here: http://www.labri.fr/perso/travers/DRV2016/talks/index.html
Tuesday
Wednesday
Thursday
Friday
This document was translated from LATEX by HEVEA.