\bibitem{Cousot02-CAV} P{.} Cousot. \newblock On Abstraction in Software Verification, Invited tutorial. \newblock \emph{International ConferenceÊon Computer-AidedÊVerification} (CAV 2002), Copenhagen,ÊDenmark, Saturday, July 27, 2002. @unpublished{Cousot02-CAV, author = {P{.} Cousot}, title = {On Abstraction in Software Verification, Invited tutorial}, note = {\emph{International ConferenceÊon Computer-AidedÊVerification} (CAV 2002), Copenhagen,ÊDenmark, Saturday, July 27, 2002}, }
.
Last modified:
Monday, 04-Jan-2010 13:42:41 CET