{"citation":{"mla":"Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>, 2014.","ieee":"C. Kuznik and W. Müller, “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure,” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>, 2014.","bibtex":"@article{Kuznik_Müller_2014, title={Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure}, journal={Design, Automation and Test in Europe DATE, University Booth, Dresden }, author={Kuznik, Christoph and Müller, Wolfgang}, year={2014} }","short":"C. Kuznik, W. Müller, Design, Automation and Test in Europe DATE, University Booth, Dresden  (2014).","apa":"Kuznik, C., &#38; Müller, W. (2014). Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>.","chicago":"Kuznik, Christoph, and Wolfgang Müller. “Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure.” <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>, 2014.","ama":"Kuznik C, Müller W. Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure. <i>Design, Automation and Test in Europe DATE, University Booth, Dresden </i>. Published online 2014."},"title":"Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure","_id":"25162","year":"2014","user_id":"5786","publication":"Design, Automation and Test in Europe DATE, University Booth, Dresden ","status":"public","author":[{"full_name":"Kuznik, Christoph","last_name":"Kuznik","first_name":"Christoph"},{"first_name":"Wolfgang","id":"16243","last_name":"Müller","full_name":"Müller, Wolfgang"}],"department":[{"_id":"672"}],"language":[{"iso":"eng"}],"date_created":"2021-09-30T10:05:28Z","date_updated":"2025-02-26T14:45:04Z","type":"journal_article"}