@inproceedings{rv22-1,
title={AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification}, 
author={Shaun Azzopardi, Joshua Ellul, Ryan Falzon and Gordon Pace},
year="2022",
booktitle="22nd International Conference on Runtime Verification (RV)",
url="https://gupea.ub.gu.se/bitstream/handle/2077/74146/319770.pdf?sequence=1&isAllowed=y"
}

{"_id":"4fivesr2w2hKxz8Qh","bibbaseid":"shaunazzopardi-pace-aspectsolasolidityaspectorientedprogrammingtoolwithapplicationsinruntimeverification-2022","author_short":["Shaun Azzopardi, J. E.","Pace, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification","author":[{"propositions":[],"lastnames":["Shaun","Azzopardi"],"firstnames":["Joshua","Ellul"],"suffixes":["Ryan","Falzon"]},{"firstnames":["Gordon"],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"year":"2022","booktitle":"22nd International Conference on Runtime Verification (RV)","url":"https://gupea.ub.gu.se/bitstream/handle/2077/74146/319770.pdf?sequence=1&isAllowed=y","bibtex":"@inproceedings{rv22-1,\ntitle={AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification}, \nauthor={Shaun Azzopardi, Joshua Ellul, Ryan Falzon and Gordon Pace},\nyear=\"2022\",\nbooktitle=\"22nd International Conference on Runtime Verification (RV)\",\nurl=\"https://gupea.ub.gu.se/bitstream/handle/2077/74146/319770.pdf?sequence=1&isAllowed=y\"\n}\n\n","author_short":["Shaun Azzopardi, J. E.","Pace, G."],"key":"rv22-1","id":"rv22-1","bibbaseid":"shaunazzopardi-pace-aspectsolasolidityaspectorientedprogrammingtoolwithapplicationsinruntimeverification-2022","role":"author","urls":{"Paper":"https://gupea.ub.gu.se/bitstream/handle/2077/74146/319770.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":["aspectsol","solidity","aspect","oriented","programming","tool","applications","runtime","verification","shaun azzopardi","pace"],"title":"AspectSol: A Solidity Aspect-Oriented Programming Tool with Applications in Runtime Verification","year":2022}