BibTeX record conf/icse/MannaGGB13

download as .bib file

@inproceedings{DBLP:conf/icse/MannaGGB13,
  author    = {Valerio Panzica La Manna and
               Joel Greenyer and
               Carlo Ghezzi and
               Christian Brenner},
  title     = {Formalizing correctness criteria of dynamic updates derived from specification
               changes},
  booktitle = {Proceedings of the 8th International Symposium on Software Engineering
               for Adaptive and Self-Managing Systems, {SEAMS} 2013, San Francisco,
               CA, USA, May 20-21, 2013},
  pages     = {63--72},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013seams},
  url       = {https://doi.org/10.1109/SEAMS.2013.6595493},
  doi       = {10.1109/SEAMS.2013.6595493},
  timestamp = {Tue, 23 May 2017 01:11:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/MannaGGB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013seams,
  editor    = {Marin Litoiu and
               John Mylopoulos},
  title     = {Proceedings of the 8th International Symposium on Software Engineering
               for Adaptive and Self-Managing Systems, {SEAMS} 2013, San Francisco,
               CA, USA, May 20-21, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6588685},
  isbn      = {978-1-4673-4401-2},
  timestamp = {Fri, 07 Aug 2015 13:54:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013seams},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier