@inproceedings{clarvatool,
  author    = {Shaun Azzopardi and
                Christian Colombo and
                Gordon Pace},
  title     = {CLARVA: Model-Based Residual Verification of Java Programs},
  booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering
               and Software Development, {MODELSWARD} 2020, Valletta, Malta,
               February 25-27, 2020},
  year      = {2020},
  url = {http://www.cs.um.edu.mt/gordon.pace/Research/Papers/modelsward2020b.pdf},
  doi = {10.5220/0008966603520359}
}

{"_id":"zQSj35DEHshGHqJ5F","bibbaseid":"azzopardi-colombo-pace-clarvamodelbasedresidualverificationofjavaprograms-2020","authorIDs":["8sEvMX4Nga4Xz4o3t"],"author_short":["Azzopardi, S.","Colombo, C.","Pace, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Gordon"],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"title":"CLARVA: Model-Based Residual Verification of Java Programs","booktitle":"Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2020, Valletta, Malta, February 25-27, 2020","year":"2020","url":"http://www.cs.um.edu.mt/gordon.pace/Research/Papers/modelsward2020b.pdf","doi":"10.5220/0008966603520359","bibtex":"@inproceedings{clarvatool,\n author = {Shaun Azzopardi and\n Christian Colombo and\n Gordon Pace},\n title = {CLARVA: Model-Based Residual Verification of Java Programs},\n booktitle = {Proceedings of the 8th International Conference on Model-Driven Engineering\n and Software Development, {MODELSWARD} 2020, Valletta, Malta,\n February 25-27, 2020},\n year = {2020},\n url = {http://www.cs.um.edu.mt/gordon.pace/Research/Papers/modelsward2020b.pdf},\n doi = {10.5220/0008966603520359}\n}\n\n\n","author_short":["Azzopardi, S.","Colombo, C.","Pace, G."],"key":"clarvatool","id":"clarvatool","bibbaseid":"azzopardi-colombo-pace-clarvamodelbasedresidualverificationofjavaprograms-2020","role":"author","urls":{"Paper":"http://www.cs.um.edu.mt/gordon.pace/Research/Papers/modelsward2020b.pdf"},"metadata":{"authorlinks":{"azzopardi, s":"https://shaunazzopardi.github.io/"}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","creationDate":"2020-08-01T08:20:29.303Z","downloads":0,"keywords":[],"search_terms":["clarva","model","based","residual","verification","java","programs","azzopardi","colombo","pace"],"title":"CLARVA: Model-Based Residual Verification of Java Programs","year":2020,"dataSources":["mtLriRvYqkiErXwmg"]}