Mercurial > hg > Papers > 2008 > atsuki-master

view paper/bibliography.tex @ 4:18753cb3c703

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** empty log message ***
author atsuki
date Wed, 13 Feb 2008 20:52:35 +0900
parents a67653fda270
children db0d95f0b2e0
line wrap: on
line source

\begin{thebibliography}{99}
    \bibitem{bib:spin}
	``Spin - Formal Verification''.
	http://spinroot.com/spin/whatispin.html

    \bibitem{bib:javapathfinder}
	``Java PathFinder''.
	http://javapathfinder.sourceforge.net/
\end{thebibliography}