@条款{schwerhoff_et_al:DARTS1.1.10,作者={Schwerhoff,Malte and Summers,Alexander J.},title={{自动验证器中魔术棒的轻量级支持(工件)}},页数={10:1--10:2},journal={Dagstuhl手工艺品系列},ISSN={2509-8195},年份={2015年},体积={1},数字={1},editor={Schwerhoff,Malte and Summers,Alexander J.},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/DARTS.1.1.10},URN={URN:nbn:de:0030-drops-55192},doi={10.4230/DATS.1.1.10},annote={关键词:魔杖,软件验证,自动验证程序,分离逻辑,隐式动态框架}}