@收款{zbMATH05839905，作者={乌尔布里希，马蒂亚斯}，Title={带有嵌入式断言的非结构化程序的动态逻辑}，BookTitle={面向对象软件的正式验证。国际会议，FoVeOOS 2010，巴黎，法国，2010年6月28日至30日。修改选定论文}，ISBN＝{978-3-642-18069-9}，页码={168--182}，年份={2011}，出版商={柏林：施普林格}，语言={英语}，DOI={10.1007/978-3-642-18070-5_12}，关键词={68N30,03B70,68Q60}，zbMATH={5839905}，Zbl={1308.6850}}