@inproceedings{furian:hal-03911794, TITLE = {{Runtime Verification of Kotlin Coroutines}}, AUTHOR = {Furian, Denis and Azzopardi, Shaun and Falcone, Yli{\`e}s and Schneider, Gerardo}, URL = {https://inria.hal.science/hal-03911794}, BOOKTITLE = {{RV 2022 - 22nd International Conference on Runtime Verification}}, ADDRESS = {Tbilisi, Georgia}, PAGES = {1-19}, YEAR = {2022}, MONTH = Sep, PDF = {https://inria.hal.science/hal-03911794/file/rv22-1.pdf}, HAL_ID = {hal-03911794}, HAL_VERSION = {v1}, }