BibTeX记录日志/corr/Pavlinovic0W15
@文章{DBLP:journals/corr/Pavlinovic0W15， author={兹沃尼米尔·帕夫利诺维奇和 蒂姆·金和 Thomas Wies}， title={关于实际的基于SMT的类型错误定位}， 日志={CoRR}， 体积={abs/1508.06836}， 年份={2015年}， url={ http://arxiv.org/abs/1508.06836 }， eprinttype={arXiv}， eprint={1508.06836}， timestamp={2018年8月13日星期一16:47:44+0200}， biburl={ https://dblp.org/rec/journals/corr/Pavlinovic0W15.bib }， bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
