BibTeX record conf/sigada/Davis05

download as .bib file

@inproceedings{DBLP:conf/sigada/Davis05,
  author    = {James F. Davis},
  editor    = {John W. McCormick and
               Leemon C. Baird III},
  title     = {The affordable application of formal methods to software engineering},
  booktitle = {Proceedings of the 2005 Annual {ACM} SIGAda International Conference
               on Ada: The Engineering of Correct and Reliable Software for Real-Time
               {\&} Distributed Systems using Ada and Related Technologies 2005,
               Atlanta, GA, USA, November 13-17, 2005},
  pages     = {57--62},
  publisher = {{ACM}},
  year      = {2005},
  url       = {https://doi.org/10.1145/1103846.1103855},
  doi       = {10.1145/1103846.1103855},
  timestamp = {Tue, 06 Nov 2018 16:57:53 +0100},
  biburl    = {https://dblp.org/rec/conf/sigada/Davis05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics