@inproceedings{colombo:hal-01428838, TITLE = {{First International Summer School on Runtime Verification}}, AUTHOR = {Colombo, Christian and Falcone, Yli{\`e}s}, URL = {https://inria.hal.science/hal-01428838}, BOOKTITLE = {{Sixteenth International Conference on Runtime Verification}}, ADDRESS = {Madrid, Spain}, YEAR = {2016}, MONTH = Sep, PDF = {https://inria.hal.science/hal-01428838/file/rv16-2.pdf}, HAL_ID = {hal-01428838}, HAL_VERSION = {v1}, }