@inproceedings{conf/icse/GandhiSW13,
  added-at = {2024-03-01T00:00:00.000+0100},
  author = {Gandhi, Robin A. and Siy, Harvey P. and Wu, Yan},
  biburl = {https://www.bibsonomy.org/bibtex/2ff8ffbc829ad6dd31f109a3d19189edb/dblp},
  booktitle = {FormaliSE@ICSE},
  crossref = {conf/icse/2013formalise},
  ee = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE.2013.6612277},
  interhash = {78973eb189e3fe120942ad6375ffd3e9},
  intrahash = {ff8ffbc829ad6dd31f109a3d19189edb},
  isbn = {978-1-4673-6292-4},
  keywords = {dblp},
  pages = {50-56},
  publisher = {IEEE Computer Society},
  timestamp = {2024-04-10T03:01:38.000+0200},
  title = {Lightweight formal models of software weaknesses.},
  url = {http://dblp.uni-trier.de/db/conf/icse/formalise2013.html#GandhiSW13},
  year = 2013
}

{"_id":"vCfESXoQTm9LgSTEF","bibbaseid":"gandhi-siy-wu-lightweightformalmodelsofsoftwareweaknesses-2013","author_short":["Gandhi, R. A.","Siy, H. P.","Wu, Y."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2024-03-01T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Gandhi"],"firstnames":["Robin","A."],"suffixes":[]},{"propositions":[],"lastnames":["Siy"],"firstnames":["Harvey","P."],"suffixes":[]},{"propositions":[],"lastnames":["Wu"],"firstnames":["Yan"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2ff8ffbc829ad6dd31f109a3d19189edb/dblp","booktitle":"FormaliSE@ICSE","crossref":"conf/icse/2013formalise","ee":"https://doi.ieeecomputersociety.org/10.1109/FormaliSE.2013.6612277","interhash":"78973eb189e3fe120942ad6375ffd3e9","intrahash":"ff8ffbc829ad6dd31f109a3d19189edb","isbn":"978-1-4673-6292-4","keywords":"dblp","pages":"50-56","publisher":"IEEE Computer Society","timestamp":"2024-04-10T03:01:38.000+0200","title":"Lightweight formal models of software weaknesses.","url":"http://dblp.uni-trier.de/db/conf/icse/formalise2013.html#GandhiSW13","year":"2013","bibtex":"@inproceedings{conf/icse/GandhiSW13,\n added-at = {2024-03-01T00:00:00.000+0100},\n author = {Gandhi, Robin A. and Siy, Harvey P. and Wu, Yan},\n biburl = {https://www.bibsonomy.org/bibtex/2ff8ffbc829ad6dd31f109a3d19189edb/dblp},\n booktitle = {FormaliSE@ICSE},\n crossref = {conf/icse/2013formalise},\n ee = {https://doi.ieeecomputersociety.org/10.1109/FormaliSE.2013.6612277},\n interhash = {78973eb189e3fe120942ad6375ffd3e9},\n intrahash = {ff8ffbc829ad6dd31f109a3d19189edb},\n isbn = {978-1-4673-6292-4},\n keywords = {dblp},\n pages = {50-56},\n publisher = {IEEE Computer Society},\n timestamp = {2024-04-10T03:01:38.000+0200},\n title = {Lightweight formal models of software weaknesses.},\n url = {http://dblp.uni-trier.de/db/conf/icse/formalise2013.html#GandhiSW13},\n year = 2013\n}\n\n","author_short":["Gandhi, R. A.","Siy, H. P.","Wu, Y."],"key":"conf/icse/GandhiSW13","id":"conf/icse/GandhiSW13","bibbaseid":"gandhi-siy-wu-lightweightformalmodelsofsoftwareweaknesses-2013","role":"author","urls":{"Link":"https://doi.ieeecomputersociety.org/10.1109/FormaliSE.2013.6612277","Paper":"http://dblp.uni-trier.de/db/conf/icse/formalise2013.html#GandhiSW13"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Harvey Siy?items=1000","dataSources":["22ZHia2RJQt8jAtgH","bYcAXur5erDSX7Pq9","Q6j9gFWCQvZd8wBRz"],"keywords":["dblp"],"search_terms":["lightweight","formal","models","software","weaknesses","gandhi","siy","wu"],"title":"Lightweight formal models of software weaknesses.","year":2013}