Precision reuse in CPAchecker

  • Vollständige Referenz
  • BibTeX
Beyer, D., Löwe, S., Novikov, E., Stahlbauer, A. & Wendler, P., (2014). Precision reuse in CPAchecker. In: Hasselbring, W. & Ehmke, N. C. (Hrsg.), Software Engineering 2014. Bonn: Gesellschaft für Informatik. (S. 41-42).
@inproceedings{mci/Beyer2014,
author = {Beyer, Dirk AND Löwe, Stefan AND Novikov, Evgeny AND Stahlbauer, Andreas AND Wendler, Philipp},
title = {Precision reuse in CPAchecker},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 41-42 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
041.pdf1.574Mb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-388579-621-3
ISSN: 1617-5468
Datum: 2014
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige