Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Jacob Hinchman
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.