{"title":"Systematic Application of UCIS to Improve the Automation on Verification Closure","author":[{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"full_name":"Oliveira, Marcio F.","last_name":"Oliveira","first_name":"Marcio F."},{"full_name":"Defo, Bertrand","last_name":"Defo","first_name":"Bertrand"},{"last_name":"Müller","id":"16243","full_name":"Müller, Wolfgang","first_name":"Wolfgang"}],"date_created":"2021-10-07T08:51:16Z","date_updated":"2022-01-06T06:57:08Z","citation":{"ama":"Kuznik C, Oliveira MF, Defo B, Müller W. Systematic Application of UCIS to Improve the Automation on Verification Closure. In: <i>Proceedings of DVCON</i>. ; 2013.","ieee":"C. Kuznik, M. F. Oliveira, B. Defo, and W. Müller, “Systematic Application of UCIS to Improve the Automation on Verification Closure,” 2013.","chicago":"Kuznik, Christoph, Marcio F. Oliveira, Bertrand Defo, and Wolfgang Müller. “Systematic Application of UCIS to Improve the Automation on Verification Closure.” In <i>Proceedings of DVCON</i>, 2013.","bibtex":"@inproceedings{Kuznik_Oliveira_Defo_Müller_2013, title={Systematic Application of UCIS to Improve the Automation on Verification Closure}, booktitle={Proceedings of DVCON}, author={Kuznik, Christoph and Oliveira, Marcio F. and Defo, Bertrand and Müller, Wolfgang}, year={2013} }","mla":"Kuznik, Christoph, et al. “Systematic Application of UCIS to Improve the Automation on Verification Closure.” <i>Proceedings of DVCON</i>, 2013.","short":"C. Kuznik, M.F. Oliveira, B. Defo, W. Müller, in: Proceedings of DVCON, 2013.","apa":"Kuznik, C., Oliveira, M. F., Defo, B., &#38; Müller, W. (2013). Systematic Application of UCIS to Improve the Automation on Verification Closure. <i>Proceedings of DVCON</i>."},"year":"2013","language":[{"iso":"eng"}],"department":[{"_id":"672"}],"user_id":"21240","_id":"25620","status":"public","publication":"Proceedings of DVCON","type":"conference"}