安德烈亚斯·洛赫比勒 🌐
2009年5月6日
FinFun法新社
@文章{FinFun-AFP,作者={Andreas Lochbihler},title={函数作为数据的代码生成},journal={正式证据存档},月={5月},年份={2009},注释={\url{https://isa-afp.org/entries/FinFun.html},形式证明开发},ISSN={2150-914x},}
旧版本: