Ruby Extension Library Verified using Coq Proof-assistant
Ruby Extension Library Verified using Coq Proof-assistant
复制标题
使用 Coq Proof-assistant 验证的 Ruby 扩展库
DOI：
--
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
田中哲
中科院分区：
文献类型：
--
作者：
田中 哲;Reynald Affeldt;Jacques Garrigue;田中哲
登录
查看更多内容
DOI：
--
发表时间：
1999
期刊：
International Conference on Theorem Proving in Higher Order Logics
影响因子：
--
作者：
J. Harrison
通讯作者：
J. Harrison
Coq 中的原始浮点数
DOI：
10.4230/lipics.itp.2019.7
发表时间：
2019
期刊：
--
影响因子：
--
作者：
Guillaume Bertholon;Érik Martin;P. Roux
通讯作者：
P. Roux
在 PVS 中定义 IEEE-854 浮点标准
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
Paul;S.;Miner
通讯作者：
Miner
DOI：
10.1007/s10817-014-9317-x
发表时间：
2015-02-01
期刊：
JOURNAL OF AUTOMATED REASONING
影响因子：
--
作者：
Boldo, Sylvie;Jourdan, Jacques-Henri;Melquiond, Guillaume
通讯作者：
Melquiond, Guillaume
浮点算术手册（第二版）
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
Jean;Nicolas Brunie;F. D. Dinechin;C. Jeannerod;Mioara Joldes;V. Lefèvre;G. Melquiond;N. Revol;Serge Torres
通讯作者：
Serge Torres