Article,
Astree: Nachweis der Abwesenheit von Laufzeit.
D. Kästner, C. Ferdinand, S. Wilhelm, S. Nenova, O. Honcharova, P. Cousot, R. Cousot, J. Feret, L. Mauborgne, A. Miné, X. Rival, and É. Sims.Softwaretechnik-Trends, (2009)
Meta data
- BibTeX key
- journals/stt/KastnerFWNHCCFMMRS09
- entry type
- article
- year
- 2009
- journal
- Softwaretechnik-Trends
- number
- 3
- volume
- 29
- ee
- http://pi.informatik.uni-siegen.de/stt/29_3/01_Fachgruppenberichte/FG_Ada_Regensburg/001_kaestner.pdf
- url
- http://dblp.uni-trier.de/db/journals/stt/stt29.html#KastnerFWNHCCFMMRS09
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Journal Article
%1 journals/stt/KastnerFWNHCCFMMRS09
%A Kästner, Daniel
%A Ferdinand, Christian
%A Wilhelm, Stephan
%A Nenova, Stefana
%A Honcharova, Olha
%A Cousot, Patrick
%A Cousot, Radhia
%A Feret, Jérôme
%A Mauborgne, Laurent
%A Miné, Antoine
%A Rival, Xavier
%A Sims, Élodie-Jane
%D 2009
%J Softwaretechnik-Trends
%K
%N 3
%T Astree: Nachweis der Abwesenheit von Laufzeit.
%U http://dblp.uni-trier.de/db/journals/stt/stt29.html#KastnerFWNHCCFMMRS09
%V 29
@article{journals/stt/KastnerFWNHCCFMMRS09,
added-at = {2023-12-13T09:46:24.000+0100},
author = {Kästner, Daniel and Ferdinand, Christian and Wilhelm, Stephan and Nenova, Stefana and Honcharova, Olha and Cousot, Patrick and Cousot, Radhia and Feret, Jérôme and Mauborgne, Laurent and Miné, Antoine and Rival, Xavier and Sims, Élodie-Jane},
biburl = {https://www.bibsonomy.org/bibtex/2277f7c7109f2d48f327ab7e9bbe52d2c/admin},
ee = {http://pi.informatik.uni-siegen.de/stt/29_3/01_Fachgruppenberichte/FG_Ada_Regensburg/001_kaestner.pdf},
interhash = {d19ea097e29aa83c8bf91250f7e5fd1e},
intrahash = {277f7c7109f2d48f327ab7e9bbe52d2c},
journal = {Softwaretechnik-Trends},
keywords = {},
number = 3,
timestamp = {2023-12-13T09:46:24.000+0100},
title = {Astree: Nachweis der Abwesenheit von Laufzeit.},
url = {http://dblp.uni-trier.de/db/journals/stt/stt29.html#KastnerFWNHCCFMMRS09},
volume = 29,
year = 2009
}