Lightweight formal models of software weaknesses. Gandhi, R. A., Siy, H. P., & Wu, Y. In FormaliSE@ICSE, pages 50-56, 2013. IEEE Computer Society.
Lightweight formal models of software weaknesses. [link]Link  Lightweight formal models of software weaknesses. [link]Paper  bibtex   
@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
}

Downloads: 0