BibTeX记录conf/micro/ZhaoJYYF0MT20
@进行中{DBLP:conf/micro/ZhaoJYYF0MT20， author={Zirui Neil Zhao和 侯祥姬和 Mongjia Yan和 余继勇和 克里斯托弗·弗莱彻和 亚当·莫里森和 达科·马里诺夫和 何塞普·托雷拉斯}， title={推测不变性（InvarSpec）：通过 程序分析}， booktitle={第53届年度{IEEE/ACM}微体系结构国际研讨会， {MICRO}2020年，希腊雅典，2020年10月17日至21日}， 页码={1138--1152}， publisher={{IEEE}}， 年份={2020年}， url={ https://doi.org/10.109/MICRO50266.2020.00094 }, doi={10.1109/MICRO50266.2020.00094}， timestamp={星期六，2023年9月30日09:52:56+0200}， biburl={ https://dblp.org/rec/conf/micro/ZhaoJYYF0MT20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
