当前位置:
X-MOL 学术
›
IEEE Trans. Softw. Eng.
›
论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Inductive Validity Cores
IEEE Transactions on Software Engineering ( IF 7.4 ) Pub Date : 2021-02-01 , DOI: 10.1109/tse.2019.2891709 Elaheh Ghassabani , Michael Whalen , Andrew Gacek , Mats Heimdahl
IEEE Transactions on Software Engineering ( IF 7.4 ) Pub Date : 2021-02-01 , DOI: 10.1109/tse.2019.2891709 Elaheh Ghassabani , Michael Whalen , Andrew Gacek , Mats Heimdahl
University of Minnesota Ph.D. dissertation. September 2018. Major: Computer Science. Advisors: Michael Whalen, Mats Heimdahl. 1 computer file (PDF); 1 vii, 137 pages.
中文翻译:
归纳有效性核心
明尼苏达大学博士 论文。2018 年 9 月。专业:计算机科学。顾问:迈克尔·惠伦、马茨·海姆达尔。1个计算机文件(PDF);1 vii,137 页。
更新日期:2021-02-01
中文翻译:
归纳有效性核心
明尼苏达大学博士 论文。2018 年 9 月。专业:计算机科学。顾问:迈克尔·惠伦、马茨·海姆达尔。1个计算机文件(PDF);1 vii,137 页。