BibTeX记录conf/ppdp/Gardner18

下载为.bib文件

@正在进行{DBLP:conf/ppdp/Gardner18,作者={菲利普·加德纳},editor={David Sabel和彼得·蒂曼(Peter Thiemann),title={JaVerT:JavaScript验证和测试框架:邀请谈话},booktitle={第20届国际原理与技术研讨会论文集声明式编程实践,{PPDP}2018,美因河畔法兰克福,德国,2018年9月3日至5日},页数={1:1--1:4},发布者={{ACM}},年份={2018},url={https://doi.org/10.1145/3236950.3236974},doi={10.1145/32366950.3236974},timestamp={2020年3月23日星期一12:22:51+0100},biburl={https://dblp.org/rec/conf/ppdp/Gardner18.bib},bibsource={dblp计算机科学书目,网址:https://dblp.org}}
服务莱布尼茨信息中心(Schloss Dagstuhl)