BibTeX记录日志/corr/CamilleriGS17
@文章{DBLP:journals/corr/CamilleriGS17， author={John J.Camilleri和 Normunds Gruzitis和 Gerardo Schneider}， title={从规范文本中提取形式模型}， 日志={CoRR}， 体积={abs/1706.04997}， 年份={2017年}， url={ http://arxiv.org/abs/1706.04997 }, eprinttype={arXiv}， eprint={1706.04997}， timestamp={2018年8月13日星期一16:48:22+0200}， biburl={ https://dblp.org/rec/journals/corr/CamilleriGS17.bib }, bibsource={dblp计算机科学书目， 网址：https://dblp.org } }
