发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Vacuity analysis for property qualification by mutation of checkers

[IEEE 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Dresden (2010.03.8-2010.03.12)] 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010) - Vacuity analysis for property qualification by mutation of checkers

Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano

作者Di Guglielmo, Luigi; Fummi, Franco; Pravadelli, Graziano
文件大小188.90KB
发表时间2010
DOI10.1109/date.2010.5457158
页码478-483

← 返回【学霸图书馆】主页