@inproceedings{rv22-3,
title={Runtime Verification of Kotlin Coroutines}, 
author={Denis Furian, Shaun Azzopardi, Yliès Falcone, and Gerardo Schneider},
year="2022",
booktitle="22nd International Conference on Runtime Verification (RV)",
url="https://gupea.ub.gu.se/bitstream/handle/2077/74147/319771.pdf?sequence=1&isAllowed=y"
}

{"_id":"RhDrtstgAEJAdKaF6","bibbaseid":"denisfurian-schneider-runtimeverificationofkotlincoroutines-2022","author_short":["Denis Furian, S. A.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Runtime Verification of Kotlin Coroutines","author":[{"propositions":[],"lastnames":["Denis","Furian"],"firstnames":["Shaun","Azzopardi"],"suffixes":["Yliès","Falcone",",",""]},{"firstnames":["Gerardo"],"propositions":[],"lastnames":["Schneider"],"suffixes":[]}],"year":"2022","booktitle":"22nd International Conference on Runtime Verification (RV)","url":"https://gupea.ub.gu.se/bitstream/handle/2077/74147/319771.pdf?sequence=1&isAllowed=y","bibtex":"@inproceedings{rv22-3,\ntitle={Runtime Verification of Kotlin Coroutines}, \nauthor={Denis Furian, Shaun Azzopardi, Yliès Falcone, and Gerardo Schneider},\nyear=\"2022\",\nbooktitle=\"22nd International Conference on Runtime Verification (RV)\",\nurl=\"https://gupea.ub.gu.se/bitstream/handle/2077/74147/319771.pdf?sequence=1&isAllowed=y\"\n}\n\n","author_short":["Denis Furian, S. A.","Schneider, G."],"key":"rv22-3","id":"rv22-3","bibbaseid":"denisfurian-schneider-runtimeverificationofkotlincoroutines-2022","role":"author","urls":{"Paper":"https://gupea.ub.gu.se/bitstream/handle/2077/74147/319771.pdf?sequence=1&isAllowed=y"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["runtime","verification","kotlin","coroutines","denis furian","schneider"],"title":"Runtime Verification of Kotlin Coroutines","year":2022}