@inproceedings{ope-csaw,
	title={Regulation specification and automatic static and dynamic checks generation in the OPE},
	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":"DaayoTa8EshGJ6ss2","bibbaseid":"azzopardi-colombo-pace-regulationspecificationandautomaticstaticanddynamicchecksgenerationintheope-2016","author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Regulation specification and automatic static and dynamic checks generation in the OPE","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{ope-csaw,\n\ttitle={Regulation specification and automatic static and dynamic checks generation in the OPE},\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\n","author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"key":"ope-csaw","id":"ope-csaw","bibbaseid":"azzopardi-colombo-pace-regulationspecificationandautomaticstaticanddynamicchecksgenerationintheope-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":["regulation","specification","automatic","static","dynamic","checks","generation","ope","azzopardi","colombo","pace"],"title":"Regulation specification and automatic static and dynamic checks generation in the OPE","year":2016}