\bibitem{KastnerEtAl-09} D.~K\"astner, C.~Ferdinand, S.~Wilhelm, S.~Nevona, O.~Honcharova, P.~Cousot, R.~Cousot, J.~Feret, L.~Mauborgne, A.~Min\'e, X.~Rival, and \'E.-J.~Sims. \newblock \textsc{Astr\'ee}: Nachweis der Abwesenheit von Laufzeitfehlern. \newblock In \emph{Workshop ``Entwicklung zuverl\"assiger Software-Systeme''}, Regensburg, German, 18 June 2009. @InProceedings{KastnerEtAl-09, author = {D.~K\"astner and C.~Ferdinand and S.~Wilhelm and S.~Nevona and O.~Honcharova and P.~Cousot and R.~Cousot and J.~Feret and L.~Mauborgne and A.~Min\'e and X.~Rival and \'E.-J.~Sims}, title = {\textsc{Astr\'ee}: Nachweis der Abwesenheit von Laufzeitfehlern}, booktitle = {Workshop ``Entwicklung zuverl\"assiger Software-Systeme''}, address = {Regensburg, Germany}, month = {18 June}, year = 2009, }
Tuesday, 13-May-2014 21:17:05 CEST