@收款{zbMATH07121846，作者={Mansky，William and Gunter，Elsa L.}，Title={验证并发程序的优化}，BookTitle={关于程序转换和重写技术的第一次国际研讨会评估，WPTE’14，奥地利维也纳，2014年7月13日}，国际标准图书编号={978-3-939897-70-5}，页码={15--26}，年份={2014}，出版商={Wadern:Schloss Dagstuhl--Leibniz Zentrum f{\“u}r Informatik}，语言={英语}，DOI={10.4230/OASIcs.WPTE.2014.15}，关键词={68N30,68N20}，zbMATH={7121846}，Zbl={1428.68124}}