%0 Conference Paper %1 conf/fmics/DavisCCFHHHMW13 %A Davis, Jennifer A. %A Clark, Matthew A. %A Cofer, Darren D. %A Fifarek, Aaron %A Hinchman, Jacob %A Hoffman, Jonathan A. %A Hulbert, Brian W. %A Miller, Steven P. %A Wagner, Lucas G. %B FMICS %D 2013 %E Pecheur, Charles %E Dierkes, Michael %I Springer %K dblp %P 63-77 %T Study on the Barriers to the Industrial Adoption of Formal Methods. %U http://dblp.uni-trier.de/db/conf/fmics/fmics2013.html#DavisCCFHHHMW13 %V 8187 %@ 978-3-642-41009-3

@inproceedings{conf/fmics/DavisCCFHHHMW13, added-at = {2019-09-18T00:00:00.000+0200}, author = {Davis, Jennifer A. and Clark, Matthew A. and Cofer, Darren D. and Fifarek, Aaron and Hinchman, Jacob and Hoffman, Jonathan A. and Hulbert, Brian W. and Miller, Steven P. and Wagner, Lucas G.}, biburl = {https://www.bibsonomy.org/bibtex/203c4f0e759bc577d4bc130827505f12c/dblp}, booktitle = {FMICS}, crossref = {conf/fmics/2013}, editor = {Pecheur, Charles and Dierkes, Michael}, ee = {https://doi.org/10.1007/978-3-642-41010-9_5}, interhash = {2be51da7263d1e391863a394d07ecde4}, intrahash = {03c4f0e759bc577d4bc130827505f12c}, isbn = {978-3-642-41009-3}, keywords = {dblp}, pages = {63-77}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-19T11:47:31.000+0200}, title = {Study on the Barriers to the Industrial Adoption of Formal Methods.}, url = {http://dblp.uni-trier.de/db/conf/fmics/fmics2013.html#DavisCCFHHHMW13}, volume = 8187, year = 2013 }