BibTeX record conf/qsic/CamaraSCO09

download as .bib file

@inproceedings{DBLP:conf/qsic/CamaraSCO09,
  author    = {Javier C{\'{a}}mara and
               Gwen Sala{\"{u}}n and
               Carlos Canal and
               Meriem Ouederni},
  title     = {Interactive Specification and Verification of Behavioural Adaptation
               Contracts},
  booktitle = {Proceedings of the Ninth International Conference on Quality Software,
               {QSIC} 2009, Jeju, Korea, August 24-25, 2009},
  pages     = {65--75},
  year      = {2009},
  crossref  = {DBLP:conf/qsic/2009},
  url       = {https://doi.org/10.1109/QSIC.2009.17},
  doi       = {10.1109/QSIC.2009.17},
  timestamp = {Mon, 05 Jun 2017 12:39:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/CamaraSCO09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/qsic/2009,
  editor    = {Byoungju Choi},
  title     = {Proceedings of the Ninth International Conference on Quality Software,
               {QSIC} 2009, Jeju, Korea, August 24-25, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5379691},
  isbn      = {978-0-7695-3828-0},
  timestamp = {Thu, 19 Mar 2015 16:19:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/qsic/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier