\bibitem{Cousot01-Microsoft} P{.} Cousot. \newblock On the Design of Abstractions for Software Model Checking. \newblock \emph{MicroSoft, Seatle, U.S.A.}, February 12$^{\mathrm{th}}$, 2001. @unpublished{Cousot01-Microsoft, author = {Cousot, P{.}}, title = {On the Design of Abstractions for Software Model Checking}, note = {\emph{MicroSoft, Seatle, U.S.A.}, February 12$^{\mathrm{th}}$, 2001}, }
.
Last modified:
Monday, 04-Jan-2010 13:52:58 CET