文献
J-GLOBAL ID:201802248296811932
整理番号:18A1484212
Coqにおける精密化計算の埋め込み【JST・京大機械翻訳】
Embedding the refinement calculus in Coq
著者 (2件):
Alpuim Joao
(University of Hong Kong, Hong Kong)
,
Swierstra Wouter
(Universiteit Utrecht, Netherlands)
資料名:
Science of Computer Programming
(Science of Computer Programming)
巻:
164
ページ:
37-48
発行年:
2018年
JST資料番号:
H0806A
ISSN:
0167-6423
CODEN:
SCPGD4
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)