@inproceedings{conf/softcomp/Garcia-Ferreira14,
  added-at = {2015-09-24T00:00:00.000+0200},
  author = {García-Ferreira, Iván and Laorden, Carlos and Santos, Igor and Bringas, Pablo Garcia},
  biburl = {http://www.bibsonomy.org/bibtex/2cbe86ce0b473a327ce0965e68e11a912/dblp},
  booktitle = {SOCO-CISIS-ICEUTE},
  crossref = {conf/softcomp/2014},
  editor = {de la Puerta, José Gaviria and García-Ferreira, Iván and Bringas, Pablo Garcia and Klett, Fanny and Abraham, Ajith and de Carvalho, André C. P. L. F. and Herrero, Álvaro and Baruque, Bruno and Quintián, Héctor and Corchado, Emilio},
  ee = {http://dx.doi.org/10.1007/978-3-319-07995-0_44},
  interhash = {f679d8ad4116ced5044a184df49f16e0},
  intrahash = {cbe86ce0b473a327ce0965e68e11a912},
  isbn = {978-3-319-07994-3},
  keywords = {dblp},
  pages = {443-452},
  publisher = {Springer},
  series = {Advances in Intelligent Systems and Computing},
  timestamp = {2015-09-25T11:33:36.000+0200},
  title = {A Survey on Static Analysis and Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/softcomp/soco2014.html#Garcia-Ferreira14},
  volume = 299,
  year = 2014
}

{"_id":"oc4cZqDnedcvfNsoQ","bibbaseid":"garcaferreira-laorden-santos-bringas-asurveyonstaticanalysisandmodelchecking-2014","downloads":0,"creationDate":"2016-01-22T05:24:53.302Z","title":"A Survey on Static Analysis and Model Checking.","author_short":["García-Ferreira, I.","Laorden, C.","Santos, I.","Bringas, P. G."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Igor Sokolov?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-09-24T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["García-Ferreira"],"firstnames":["Iván"],"suffixes":[]},{"propositions":[],"lastnames":["Laorden"],"firstnames":["Carlos"],"suffixes":[]},{"propositions":[],"lastnames":["Santos"],"firstnames":["Igor"],"suffixes":[]},{"propositions":[],"lastnames":["Bringas"],"firstnames":["Pablo","Garcia"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2cbe86ce0b473a327ce0965e68e11a912/dblp","booktitle":"SOCO-CISIS-ICEUTE","crossref":"conf/softcomp/2014","editor":[{"propositions":["de","la"],"lastnames":["Puerta"],"firstnames":["José","Gaviria"],"suffixes":[]},{"propositions":[],"lastnames":["García-Ferreira"],"firstnames":["Iván"],"suffixes":[]},{"propositions":[],"lastnames":["Bringas"],"firstnames":["Pablo","Garcia"],"suffixes":[]},{"propositions":[],"lastnames":["Klett"],"firstnames":["Fanny"],"suffixes":[]},{"propositions":[],"lastnames":["Abraham"],"firstnames":["Ajith"],"suffixes":[]},{"propositions":["de"],"lastnames":["Carvalho"],"firstnames":["André","C.","P.","L.","F."],"suffixes":[]},{"propositions":[],"lastnames":["Herrero"],"firstnames":["Álvaro"],"suffixes":[]},{"propositions":[],"lastnames":["Baruque"],"firstnames":["Bruno"],"suffixes":[]},{"propositions":[],"lastnames":["Quintián"],"firstnames":["Héctor"],"suffixes":[]},{"propositions":[],"lastnames":["Corchado"],"firstnames":["Emilio"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-319-07995-0_44","interhash":"f679d8ad4116ced5044a184df49f16e0","intrahash":"cbe86ce0b473a327ce0965e68e11a912","isbn":"978-3-319-07994-3","keywords":"dblp","pages":"443-452","publisher":"Springer","series":"Advances in Intelligent Systems and Computing","timestamp":"2015-09-25T11:33:36.000+0200","title":"A Survey on Static Analysis and Model Checking.","url":"http://dblp.uni-trier.de/db/conf/softcomp/soco2014.html#Garcia-Ferreira14","volume":"299","year":"2014","bibtex":"@inproceedings{conf/softcomp/Garcia-Ferreira14,\n added-at = {2015-09-24T00:00:00.000+0200},\n author = {García-Ferreira, Iván and Laorden, Carlos and Santos, Igor and Bringas, Pablo Garcia},\n biburl = {http://www.bibsonomy.org/bibtex/2cbe86ce0b473a327ce0965e68e11a912/dblp},\n booktitle = {SOCO-CISIS-ICEUTE},\n crossref = {conf/softcomp/2014},\n editor = {de la Puerta, José Gaviria and García-Ferreira, Iván and Bringas, Pablo Garcia and Klett, Fanny and Abraham, Ajith and de Carvalho, André C. P. L. F. and Herrero, Álvaro and Baruque, Bruno and Quintián, Héctor and Corchado, Emilio},\n ee = {http://dx.doi.org/10.1007/978-3-319-07995-0_44},\n interhash = {f679d8ad4116ced5044a184df49f16e0},\n intrahash = {cbe86ce0b473a327ce0965e68e11a912},\n isbn = {978-3-319-07994-3},\n keywords = {dblp},\n pages = {443-452},\n publisher = {Springer},\n series = {Advances in Intelligent Systems and Computing},\n timestamp = {2015-09-25T11:33:36.000+0200},\n title = {A Survey on Static Analysis and Model Checking.},\n url = {http://dblp.uni-trier.de/db/conf/softcomp/soco2014.html#Garcia-Ferreira14},\n volume = 299,\n year = 2014\n}\n\n","author_short":["García-Ferreira, I.","Laorden, C.","Santos, I.","Bringas, P. G."],"editor_short":["de la Puerta, J. G.","García-Ferreira, I.","Bringas, P. G.","Klett, F.","Abraham, A.","de Carvalho, A. C. P. L. F.","Herrero, Á.","Baruque, B.","Quintián, H.","Corchado, E."],"key":"conf/softcomp/Garcia-Ferreira14","id":"conf/softcomp/Garcia-Ferreira14","bibbaseid":"garcaferreira-laorden-santos-bringas-asurveyonstaticanalysisandmodelchecking-2014","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-319-07995-0_44","Paper":"http://dblp.uni-trier.de/db/conf/softcomp/soco2014.html#Garcia-Ferreira14"},"keyword":["dblp"],"downloads":0},"search_terms":["survey","static","analysis","model","checking","garcía-ferreira","laorden","santos","bringas"],"keywords":["dblp"],"authorIDs":[],"dataSources":["h2zaCTy5Y74MDBFyN"]}