紫罗兰Preoteasa 🌐和拉尔夫·约翰回来 🌐
2010年5月28日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9e88c17a723e
法新社/65f70952d452
数据优化IBP-AFP
@第{条数据优化IBP-AFP,author={Viorel Preoteasa和Ralph-Johan Back},title={基于不变量程序的语义和数据精炼},journal={正式证据存档},月份={May},年份={2010},注意={\url{https://isa-afp.org/entries/DataRefinementIBP.html},形式证明开发},ISSN={2150-914x},}
旧版本: