{"inproceedings":{"@attributes":{"key":"conf\/modelsward\/AzzopardiCP20","mdate":"2022-01-03"},"author":["Shaun Azzopardi","Christian Colombo 0001","Gordon J. Pace"],"title":"A Technique for Automata-based Verification with Residual Reasoning.","pages":"237-248","year":"2020","booktitle":"MODELSWARD","ee":"https:\/\/doi.org\/10.5220\/0008981902370248","crossref":"conf\/modelsward\/2020","url":"db\/conf\/modelsward\/modelsward2020.html#AzzopardiCP20"}}