Precision reuse in CPAchecker
- Citation
- 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}
}
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}
}
Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback
More Info
ISBN: 978-388579-621-3
ISSN: 1617-5468
xmlui.MetaDataDisplay.field.date: 2014
Language:
(en)

Content Type: Text/Conference Paper