%0 Conference Paper %1 conf/hvc/KissKPP15 %A Kiss, Balázs %A Kosmatov, Nikolai %A Pariente, Dillon %A Puccetti, Armand %B Haifa Verification Conference %D 2015 %E Piterman, Nir %I Springer %K dblp %P 39-50 %T Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#KissKPP15 %V 9434 %@ 978-3-319-26286-4

@inproceedings{conf/hvc/KissKPP15, added-at = {2017-05-19T00:00:00.000+0200}, author = {Kiss, Balázs and Kosmatov, Nikolai and Pariente, Dillon and Puccetti, Armand}, biburl = {https://www.bibsonomy.org/bibtex/2602cc6d899b8515579b2411d795d269a/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2015}, editor = {Piterman, Nir}, ee = {https://doi.org/10.1007/978-3-319-26287-1_3}, interhash = {fa4c177d3d175e6ce870ea2db86d7d83}, intrahash = {602cc6d899b8515579b2411d795d269a}, isbn = {978-3-319-26286-4}, keywords = {dblp}, pages = {39-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:40.000+0200}, title = {Combining Static and Dynamic Analyses for Vulnerability Detection: Illustration on Heartbleed.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2015.html#KissKPP15}, volume = 9434, year = 2015 }