%0 Conference Paper %1 conf/sac/ChebaroKGJ12 %A Chebaro, Omar %A Kosmatov, Nikolai %A Giorgetti, Alain %A Julliand, Jacques %B SAC %D 2012 %E Ossowski, Sascha %E Lecca, Paola %I ACM %K dblp %P 1284-1291 %T Program slicing enhances a verification technique combining static and dynamic analysis. %U http://dblp.uni-trier.de/db/conf/sac/sac2012.html#ChebaroKGJ12 %@ 978-1-4503-0857-1

@inproceedings{conf/sac/ChebaroKGJ12, added-at = {2018-11-06T00:00:00.000+0100}, author = {Chebaro, Omar and Kosmatov, Nikolai and Giorgetti, Alain and Julliand, Jacques}, biburl = {https://www.bibsonomy.org/bibtex/2f3192e3c3904648cfb389ac93c132523/dblp}, booktitle = {SAC}, crossref = {conf/sac/2012}, editor = {Ossowski, Sascha and Lecca, Paola}, ee = {https://doi.org/10.1145/2245276.2231980}, interhash = {07a7bc48713acb3095c1501558035380}, intrahash = {f3192e3c3904648cfb389ac93c132523}, isbn = {978-1-4503-0857-1}, keywords = {dblp}, pages = {1284-1291}, publisher = {ACM}, timestamp = {2018-11-07T16:24:30.000+0100}, title = {Program slicing enhances a verification technique combining static and dynamic analysis.}, url = {http://dblp.uni-trier.de/db/conf/sac/sac2012.html#ChebaroKGJ12}, year = 2012 }