@inproceedings{DBLP:conf/isola/AzzopardiCP16, author= {Shaun Azzopardi and
               Christian Colombo and
               Gordon J. Pace}, title= {A Model-Based Approach to Combining Static and Dynamic Verification
               Techniques}, booktitle= {Leveraging Applications of Formal Methods, Verification and Validation:
               Foundational Techniques - 7th International Symposium, ISoLA 2016,
               Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}}, pages= {416--430}, year= {2016}, crossref= {DBLP:conf/isola/2016-1}, url= {https://doi.org/10.1007/978-3-319-47166-2\_29}, doi= {10.1007/978-3-319-47166-2\_29}, timestamp= {Tue, 23 May 2017 01:12:13 +0200}, biburl= {https://dblp.org/rec/bib/conf/isola/AzzopardiCP16}, bibsource= {dblp computer science bibliography, https://dblp.org}}

{"_id":"pq3L4s5FbwwmcC7nd","bibbaseid":"azzopardi-colombo-pace-amodelbasedapproachtocombiningstaticanddynamicverificationtechniques-2016","authorIDs":["8sEvMX4Nga4Xz4o3t"],"author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shaun"],"propositions":[],"lastnames":["Azzopardi"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Colombo"],"suffixes":[]},{"firstnames":["Gordon","J."],"propositions":[],"lastnames":["Pace"],"suffixes":[]}],"title":"A Model-Based Approach to Combining Static and Dynamic Verification Techniques","booktitle":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I","pages":"416–430","year":"2016","crossref":"DBLP:conf/isola/2016-1","url":"https://doi.org/10.1007/978-3-319-47166-2\\_29","doi":"10.1007/978-3-319-47166-2_29","timestamp":"Tue, 23 May 2017 01:12:13 +0200","biburl":"https://dblp.org/rec/bib/conf/isola/AzzopardiCP16","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/isola/AzzopardiCP16, author= {Shaun Azzopardi and\n Christian Colombo and\n Gordon J. Pace}, title= {A Model-Based Approach to Combining Static and Dynamic Verification\n Techniques}, booktitle= {Leveraging Applications of Formal Methods, Verification and Validation:\n Foundational Techniques - 7th International Symposium, ISoLA 2016,\n Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}}, pages= {416--430}, year= {2016}, crossref= {DBLP:conf/isola/2016-1}, url= {https://doi.org/10.1007/978-3-319-47166-2\\_29}, doi= {10.1007/978-3-319-47166-2\\_29}, timestamp= {Tue, 23 May 2017 01:12:13 +0200}, biburl= {https://dblp.org/rec/bib/conf/isola/AzzopardiCP16}, bibsource= {dblp computer science bibliography, https://dblp.org}}\n\n","author_short":["Azzopardi, S.","Colombo, C.","Pace, G. J."],"key":"DBLP:conf/isola/AzzopardiCP16","id":"DBLP:conf/isola/AzzopardiCP16","bibbaseid":"azzopardi-colombo-pace-amodelbasedapproachtocombiningstaticanddynamicverificationtechniques-2016","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-47166-2\\_29"},"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-01T07:41:07.389Z","downloads":0,"keywords":[],"search_terms":["model","based","approach","combining","static","dynamic","verification","techniques","azzopardi","colombo","pace"],"title":"A Model-Based Approach to Combining Static and Dynamic Verification Techniques","year":2016,"dataSources":["mtLriRvYqkiErXwmg"]}