@inproceedings{rv20221,
title={Runtime Verification of Kotlin Coroutines}, 
author={Azzopardi, Shaun and Furian, Denis and Falcone, Yliès and Schneider, Gerardo},
year="2022",
booktitle="Runtime Verification (RV)",
}

{"_id":"YfHeEmXdfPbaPuhCG","bibbaseid":"azzopardi-furian-falcone-schneider-runtimeverificationofkotlincoroutines-2022","author_short":["Azzopardi, S.","Furian, D.","Falcone, Y.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Runtime Verification of Kotlin Coroutines","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Furian"],"firstnames":["Denis"],"suffixes":[]},{"propositions":[],"lastnames":["Falcone"],"firstnames":["Yliès"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]}],"year":"2022","booktitle":"Runtime Verification (RV)","bibtex":"@inproceedings{rv20221,\ntitle={Runtime Verification of Kotlin Coroutines}, \nauthor={Azzopardi, Shaun and Furian, Denis and Falcone, Yliès and Schneider, Gerardo},\nyear=\"2022\",\nbooktitle=\"Runtime Verification (RV)\",\n}\n\n\n","author_short":["Azzopardi, S.","Furian, D.","Falcone, Y.","Schneider, G."],"key":"rv20221-1","id":"rv20221-1","bibbaseid":"azzopardi-furian-falcone-schneider-runtimeverificationofkotlincoroutines-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["runtime","verification","kotlin","coroutines","azzopardi","furian","falcone","schneider"],"title":"Runtime Verification of Kotlin Coroutines","year":2022}