BibTeX record conf/itcc/BaberPVHO05

download as .bib file

@inproceedings{DBLP:conf/itcc/BaberPVHO05,
  author    = {Robert L. Baber and
               David Lorge Parnas and
               Sergiy A. Vilkomir and
               Paul Harrison and
               Tony O'Connor},
  title     = {Disciplined Methods of Software Specification: {A} Case Study},
  booktitle = {International Symposium on Information Technology: Coding and Computing
               {(ITCC} 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, {USA}},
  pages     = {428--437},
  year      = {2005},
  crossref  = {DBLP:conf/itcc/2005-2},
  url       = {https://doi.org/10.1109/ITCC.2005.132},
  doi       = {10.1109/ITCC.2005.132},
  timestamp = {Fri, 26 May 2017 00:50:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itcc/BaberPVHO05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/itcc/2005-2,
  title     = {International Symposium on Information Technology: Coding and Computing
               {(ITCC} 2005), Volume 2, 4-6 April 2005, Las Vegas, Nevada, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=30769},
  timestamp = {Thu, 09 Jul 2015 16:49:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/itcc/2005-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier