Mercurial > hg > Papers > 2018 > nozomi-master

diff paper/reference.bib @ 126:18f872806bc0

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Update reference
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Thu, 16 Feb 2017 13:39:49 +0900
parents 16dc3337a5a9
children e20f743b5418
line wrap: on
line diff
--- a/paper/reference.bib	Thu Feb 16 13:26:33 2017 +0900
+++ b/paper/reference.bib	Thu Feb 16 13:39:49 2017 +0900
@@ -166,6 +166,11 @@
     year   = "2016"
 }
 
+@misc{atton-ipsjpro,
+    author = "比嘉 健太, 河野 真治",
+    title  = "Continuation based C を用いたプログラムの検証手法",
+}
+
 @book{Pierce:2002:TPL:509043,
     author = {Pierce, Benjamin C.},
     title = {Types and Programming Languages},