\bibitem{CousotCousot99-1} P.~Cousot and R.~Cousot. \newblock Refining model checking by abstract interpretation \newblock \emph{Automated Software Engineering Journal}, 6(1):69--95, 1999. @article{CousotCousot99-1, author = {Cousot, P{.} and Cousot, R{.}}, title = {Refining Model Checking by Abstract Interpretation}, journal = {Automated Software Engineering}, volume = 6, number = 1, pages = {69--95}, year = 1999, }
Monday, 04-Jan-2010 12:59:12 CET