Preliminary information about the 1st International Summer School on Runtime Verification is online and available at https://rv2016.imag.fr/?page_id=128
Preliminary information about the 1st International Summer School on Runtime Verification is online and available at https://rv2016.imag.fr/?page_id=128