BibTeX记录conf/pldi/SantosMAG20
@正在进行{DBLP:conf/pldi/SantosMAG20， 作者=Fragoso Santos和 彼得·马克西莫维奇和 萨查{-}{\'{E}}是阿永和 菲利普·加德纳}， editor={Alastair F.Donaldson和 埃米娜·托拉克}， title={Gillian，第一部分：符号执行的多语言平台}， booktitle={第41届{ACM}{SIGPLAN}国际会议记录 编程语言设计与实现，{PLDI}2020，伦敦， 英国，2020年6月15日至20日}， 页数={927--942}， publisher={{ACM}}， 年份={2020年}， url={ https://doi.org/10.1145/3385412.3386014 }, doi＝{10.1145/3385412.3386014}， timestamp={2020年6月9日星期二13:52:54+0200}， biburl={ https://dblp.org/rec/conf/pldi/SantosMAG20.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
