@收款{zbMATH07369994，作者={Gadducci、Fabio和Melgratti、Hern和Rold、Christian和Sammartino、Matteo}，Title={复制数据类型的实现正确性，明确地}，BookTitle={计算的理论方面--ICTAC 2020。第17届国际学术讨论会，中国澳门，2020年11月30日至12月4日。诉讼}，国际标准图书编号={978-3-030-64275-4；978-3-0.30-64276-1}，页码={283--303}，年份={2020年}，出版商={Cham:Springer}，语言={英语}，DOI={10.1007/978-3-030-64276-1_15}，关键词={68Qxx}，zbMATH={7369994}}