@在集合{zbMATH06103222中，作者={Christakis，Maria和M{“u}ller，Peter和W{”u}stholz，Valentin}，标题={带有明确假设的协作验证和测试}，BookTitle={FM 2012:正式方法。第18届国际研讨会，法国巴黎，2012年8月27日至31日。诉讼}，国际标准图书编号={978-3-642-32758-2}，页码={132--146}，年份={2012}，出版商={柏林：施普林格}，语言={英语}，DOI＝{10.1007/978-3-642-32759-9_13}，关键词={68Q60}，URL={kar.kent.ac.uk/58948/1/FM-2012.pdf}，zbMATH={6103222}，Zbl={1372.68167}}