Logo des Repositoriums
 
Konferenzbeitrag

Precision reuse in CPAchecker

Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Dateien

041.pdf (1.57 MB)

Zusatzinformation

Datum

2014

Autor:innen

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Quelle

Software Engineering 2014
Regular Research Papers

Verlag

Gesellschaft für Informatik

Zusammenfassung

Beschreibung

Beyer, Dirk; Löwe, Stefan; Novikov, Evgeny; Stahlbauer, Andreas; Wendler, Philipp (2014): Precision reuse in CPAchecker. Software Engineering 2014. Bonn: Gesellschaft für Informatik. PISSN: 1617-5468. ISBN: 978-388579-621-3. pp. 41-42. Regular Research Papers. Kiel. 25. Februar-28. Februar 2014

Schlagwörter

Zitierform

DOI

Tags

Sammlungen

P227 - Software Engineering 2014