BibTeX records: Jacob Hinchman

download as .bib file

@inproceedings{DBLP:conf/fmics/DavisCCFHHHMW13,
  author       = {Jennifer A. Davis and
                  Matthew A. Clark and
                  Darren D. Cofer and
                  Aaron Fifarek and
                  Jacob Hinchman and
                  Jonathan A. Hoffman and
                  Brian W. Hulbert and
                  Steven P. Miller and
                  Lucas G. Wagner},
  editor       = {Charles Pecheur and
                  Michael Dierkes},
  title        = {Study on the Barriers to the Industrial Adoption of Formal Methods},
  booktitle    = {Formal Methods for Industrial Critical Systems - 18th International
                  Workshop, {FMICS} 2013, Madrid, Spain, September 23-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8187},
  pages        = {63--77},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41010-9\_5},
  doi          = {10.1007/978-3-642-41010-9\_5},
  timestamp    = {Wed, 18 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/DavisCCFHHHMW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics