@收款{zbMATH01629957，作者={Dennis、Louise A.和Collins、Graham和Norrish、Michael和Boulton、Richard和Slind、Konrad和Robinson、Grahams和Gordon、Mike和Melham、Tom}，标题={{PROSPER}工具包}，BookTitle={系统构建和分析的工具和算法。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼}，国际标准图书编号={3-540-67282-6}，页码={78--92}，年份={2000}，出版商={柏林：施普林格}，语言={英语}，关键词={68U99,68Q60}，zbMATH＝{1629957}，Zbl={0971.68638}}