@InCollection｛zbMATH06344218，作者={Chin，Wei-Ngan and David，Cristina and Nguyen，Huu Hai and Qin，Shengchao}，Title={使用分离逻辑加强模块化{OO}验证}，BookTitle={第35届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'08，旧金山，加利福尼亚州，美国，2008年1月7日至12日}，国际标准图书编号={978-1-59593-689-9}，页码={87--99}，年份={2008}，Publisher={纽约，NY:计算机协会（ACM）}，语言={英语}，DOI={10.1145/1328438.1328452}，关键词={68N30,68N19,68Q60,68T15}，zbMATH={6344218}，Zbl={1295.68082}}