%0 Journal Article %1 journals/virology/KimMP16 %A Kim, Joon-Ho %A Ma, Myung-Chul %A Park, Jae-Pyo %D 2016 %J J. Comput. Virol. Hacking Tech. %K dblp %N 3 %P 177-184 %T An analysis on secure coding using symbolic execution engine. %U http://dblp.uni-trier.de/db/journals/virology/virology12.html#KimMP16 %V 12

@article{journals/virology/KimMP16, added-at = {2020-03-13T00:00:00.000+0100}, author = {Kim, Joon-Ho and Ma, Myung-Chul and Park, Jae-Pyo}, biburl = {https://www.bibsonomy.org/bibtex/2e5337314594b468184fd0cfb73a0be13/dblp}, ee = {https://doi.org/10.1007/s11416-016-0263-5}, interhash = {2499129d62add531c7075540e0995476}, intrahash = {e5337314594b468184fd0cfb73a0be13}, journal = {J. Comput. Virol. Hacking Tech.}, keywords = {dblp}, number = 3, pages = {177-184}, timestamp = {2020-03-14T12:01:56.000+0100}, title = {An analysis on secure coding using symbolic execution engine.}, url = {http://dblp.uni-trier.de/db/journals/virology/virology12.html#KimMP16}, volume = 12, year = 2016 }