@第{zbMATH07096725条，作者={Zakowski、Yannick和Cachera、David和Demange、Delphine和Petri、Gustavo和Pichardie、David and Jagannathan、Suresh和Vitek，Jan}，Title={使用可靠保证方法验证并发垃圾收集器}，FJournal={自动推理杂志}，日志={J.自动推理}，ISSN＝{0168-7433}，体积={63}，数字={2}，页码={489--515}，年份={2019}，语言={英语}，DOI={10.1007/s10817-018-9489-x}，关键词={68N20,68N30,68Q60,68V15}，zbMATH={7096725}，Zbl={1468.68068}}