Using Coq in specification and program extraction of Hadoop MapReduce applications
Kosuke Ono, Yoichi Hirai, Yoshinori Tanabe, Natsuko Noda, Masami Hagiya
研究成果: Conference contribution
22
被引用数
(Scopus)