@会议记录{schwerhoff_et_al:LIPIcs.ECOOP.2015.614,作者={Schwerhoff,Malte and Summers,Alexander J.},title={{自动验证器中魔术棒的轻量级支持}},booktitle={第29届欧洲面向对象编程会议(ECOOP 2015)},页数={614--638},series={Leibniz国际信息学论文集(LIPIcs)},国际标准图书编号={978-3-939897-86-6},ISSN={1868-8969},年份={2015年},体积={37},editor={Boyland,John Tang},publisher={Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik},地址={Dagstuhl,德国},URL={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2015.614},URN={URN:nbn:de:0030-drops-52408},doi={10.4230/LIPIcs.ECOOP.2015.614},annote={关键词:魔杖,软件验证,自动验证程序,分离逻辑,隐式动态框架}}