@inproceedings{rv20221,
title={AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification}, 
author={Azzopardi, Shaun and Ellul, Joshua and Falzon, Ryan and Pace, Gordon},
year="2022",
booktitle="Runtime Verification (RV)",
}

{"_id":"J4BBGEeN7nhqejpqS","bibbaseid":"azzopardi-ellul-falzon-pace-aspectsolasolidityaspectorientedprogrammingtoolwithapplicationsinruntimeverification-2022","author_short":["Azzopardi, S.","Ellul, J.","Falzon, R.","Pace, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Ellul"],"firstnames":["Joshua"],"suffixes":[]},{"propositions":[],"lastnames":["Falzon"],"firstnames":["Ryan"],"suffixes":[]},{"propositions":[],"lastnames":["Pace"],"firstnames":["Gordon"],"suffixes":[]}],"year":"2022","booktitle":"Runtime Verification (RV)","bibtex":"@inproceedings{rv20221,\ntitle={AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification}, \nauthor={Azzopardi, Shaun and Ellul, Joshua and Falzon, Ryan and Pace, Gordon},\nyear=\"2022\",\nbooktitle=\"Runtime Verification (RV)\",\n}\n\n","author_short":["Azzopardi, S.","Ellul, J.","Falzon, R.","Pace, G."],"key":"rv20221","id":"rv20221","bibbaseid":"azzopardi-ellul-falzon-pace-aspectsolasolidityaspectorientedprogrammingtoolwithapplicationsinruntimeverification-2022","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dsynma.bitbucket.io/publications.bib","dataSources":["ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["aspectsol","solidity","aspect","oriented","programming","tool","applications","runtime","verification","azzopardi","ellul","falzon","pace"],"title":"AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification","year":2022}