%0 Conference Paper %1 conf/sefm/OnoHTNH11 %A Ono, Kosuke %A Hirai, Yoichi %A Tanabe, Yoshinori %A Noda, Natsuko %A Hagiya, Masami %B SEFM %D 2011 %E Barthe, Gilles %E Pardo, Alberto %E Schneider, Gerardo %I Springer %K dblp %P 350-365 %T Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#OnoHTNH11 %V 7041 %@ 978-3-642-24689-0

@inproceedings{conf/sefm/OnoHTNH11, added-at = {2018-11-02T00:00:00.000+0100}, author = {Ono, Kosuke and Hirai, Yoichi and Tanabe, Yoshinori and Noda, Natsuko and Hagiya, Masami}, biburl = {https://www.bibsonomy.org/bibtex/217c3dc2e869724bd672423c018f7afbc/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2011}, editor = {Barthe, Gilles and Pardo, Alberto and Schneider, Gerardo}, ee = {https://doi.org/10.1007/978-3-642-24690-6_24}, interhash = {0fc91cfed81ef1084e180ffd37231f9e}, intrahash = {17c3dc2e869724bd672423c018f7afbc}, isbn = {978-3-642-24689-0}, keywords = {dblp}, pages = {350-365}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:34:06.000+0200}, title = {Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2011.html#OnoHTNH11}, volume = 7041, year = 2011 }