@inproceedings{clarvatheory,
  author    = {Shaun Azzopardi and
                Christian Colombo and
                Gordon Pace},
  title     = {A Technique for Automata-Based Verification with Residual Reasoning},
  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/modelsward2020a.pdf},
  doi = {10.5220/0008981902370248}
}

{"_id":"7G48Ztwud2CTr3zAi","bibbaseid":"azzopardi-colombo-pace-atechniqueforautomatabasedverificationwithresidualreasoning-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":"A Technique for Automata-Based Verification with Residual Reasoning","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/modelsward2020a.pdf","doi":"10.5220/0008981902370248","bibtex":"@inproceedings{clarvatheory,\n author = {Shaun Azzopardi and\n Christian Colombo and\n Gordon Pace},\n title = {A Technique for Automata-Based Verification with Residual Reasoning},\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/modelsward2020a.pdf},\n doi = {10.5220/0008981902370248}\n}\n\n","author_short":["Azzopardi, S.","Colombo, C.","Pace, G."],"key":"clarvatheory","id":"clarvatheory","bibbaseid":"azzopardi-colombo-pace-atechniqueforautomatabasedverificationwithresidualreasoning-2020","role":"author","urls":{"Paper":"http://www.cs.um.edu.mt/gordon.pace/Research/Papers/modelsward2020a.pdf"},"metadata":{"authorlinks":{"azzopardi, s":"https://shaunazzopardi.github.io/"}},"downloads":1},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","creationDate":"2020-08-01T07:41:07.313Z","downloads":1,"keywords":[],"search_terms":["technique","automata","based","verification","residual","reasoning","azzopardi","colombo","pace"],"title":"A Technique for Automata-Based Verification with Residual Reasoning","year":2020,"dataSources":["mtLriRvYqkiErXwmg"]}