@inproceedings{clarva-csaw,
	title={Residual Control-Flow Static Analysis with Symbolic Automata},
	year={2016},
	booktitle={CSAW 2016: Computer Science Annual Workshop 2016, University of Malta, Malta},
	author={Shaun Azzopardi and
	Christian Colombo and
	Gordon J. Pace}
}

{"_id":"g9Yjj7qP5j4QxLzYk","bibbaseid":"azzopardi-colombo-pace-residualcontrolflowstaticanalysiswithsymbolicautomata-2016","author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Residual Control-Flow Static Analysis with Symbolic Automata","year":"2016","booktitle":"CSAW 2016: Computer Science Annual Workshop 2016, University of Malta, Malta","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Gordon","J."],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"bibtex":"@inproceedings{clarva-csaw,\n\ttitle={Residual Control-Flow Static Analysis with Symbolic Automata},\n\tyear={2016},\n\tbooktitle={CSAW 2016: Computer Science Annual Workshop 2016, University of Malta, Malta},\n\tauthor={Shaun Azzopardi and\n\tChristian Colombo and\n\tGordon J. Pace}\n}\n\n","author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"key":"clarva-csaw","id":"clarva-csaw","bibbaseid":"azzopardi-colombo-pace-residualcontrolflowstaticanalysiswithsymbolicautomata-2016","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg"],"keywords":[],"search_terms":["residual","control","flow","static","analysis","symbolic","automata","azzopardi","colombo","pace"],"title":"Residual Control-Flow Static Analysis with Symbolic Automata","year":2016}