@会议记录{ionescu_et_al:LIPIcs.TYPES.2011.41，author={Ionescu、Cezar和Jansson、Patrik}，title={{气候影响研究中的测试与证明}}，booktitle={第18届国际校样和程序类型研讨会（2011年类型）}，页数={41--54}，series={Leibniz国际信息学论文集（LIPIcs）}，国际标准图书编号={978-3-939897-49-1}，ISSN={1868-8969}，年份={2013}，体积={19}，editor={Danielsson、Nils Anders和Nordstr\“{o} 米，本特}，publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，地址={Dagstuhl，德国}，网址={https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TYPES.2011.41},URN={URN:nbn:de:0030-drops-38991}，doi={10.4230/LIPIcs.TYPES.2011.41}，annote={关键词：依赖型编程，特定领域的语言，气候影响研究，形式化}}
