Second-order constraints in dynamic invariant inference

  • Vollständige Referenz
  • BibTeX
Li, K., Reichenbach, C., Smaragdakis, Y. & Young, M., (2014). Second-order constraints in dynamic invariant inference. In: Hasselbring, W. & Ehmke, N. C. (Hrsg.), Software Engineering 2014. Bonn: Gesellschaft für Informatik. (S. 93-94).
@inproceedings{mci/Li2014,
author = {Li, Kaituo AND Reichenbach, Christoph AND Smaragdakis, Yannis AND Young, Michal},
title = {Second-order constraints in dynamic invariant inference},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 93-94 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
093.pdf1.182Mb 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