[{"publication":"Design, Automation and Test in Europe DATE, University Booth, Dresden ","citation":{"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.","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.","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>.","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).","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.","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."},"date_created":"2021-09-30T10:05:28Z","type":"journal_article","department":[{"_id":"672"}],"year":"2014","title":"Verific-MM: Systematized Verification Metrics Generation with UCIS for Improved Automation on Verification Closure","status":"public","author":[{"last_name":"Kuznik","first_name":"Christoph","full_name":"Kuznik, Christoph"},{"id":"16243","first_name":"Wolfgang","last_name":"Müller","full_name":"Müller, Wolfgang"}],"date_updated":"2025-02-26T14:45:04Z","_id":"25162","language":[{"iso":"eng"}],"user_id":"5786"}]