\bibitem{Cousot05-Tokyo-symposium}
P.~Cousot.
\newblock Challenges in Abstract Interpretation for Software Safety.
\newblock In \emph{French-Japanese symposium on computer security}, 
	  Keio University, Mita Campus, Global Security Research 
          Institute, Tokyo, Japan. September 5--7, 2005.

@inprocedings{Cousot05-Tokyo-symposium,
   author =    {Cousot, P{.}},
   title  =    {Challenges in Abstract Interpretation for Software Safety},
   booktitle = {French-Japanese symposium on computer security},
   address =   {Keio University, Mita Campus, Global Security Research 
                Institute, Tokyo, Japan},
   month =     sep # " 5--7",
   year =      2005,
}