诺伯特·希默
2008年2月29日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
简单AFP
@第{Simple-AFP条,author={Norbert Schirmer},title={顺序命令式编程语言语法、语义、Hoare逻辑和验证环境},journal={正式证据存档},月={2月},年份={2008},注释={\url{https://isa-afp.org/entries/Simpl.html},形式证明开发},ISSN={2150-914x},}
旧版本: