GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P227 - Software Engineering 2014
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Software Engineering
  • P227 - Software Engineering 2014
  • View Item

Precision reuse in CPAchecker

Author:
Beyer, Dirk [DBLP] ;
Löwe, Stefan [DBLP] ;
Novikov, Evgeny [DBLP] ;
Stahlbauer, Andreas [DBLP] ;
Wendler, Philipp [DBLP]
  • 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}
}
DateienGroesseFormatAnzeige
041.pdf1.574Mb PDF View/Open

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 (en)
Content Type: Text/Conference Paper
Collections
  • P227 - Software Engineering 2014 [75]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.