%0 Conference Paper %1 conf/paste/Martel04 %A Martel, Matthieu %B PASTE %D 2004 %E Flanagan, Cormac %E Zeller, Andreas %I ACM %K dblp %P 8-13 %T Validation of assembler programs for DSPs: a static analyzer. %U http://dblp.uni-trier.de/db/conf/paste/paste2004.html#Martel04 %@ 1-58113-910-1

@inproceedings{conf/paste/Martel04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Martel, Matthieu}, biburl = {https://www.bibsonomy.org/bibtex/2ba95b2be3254c38196aab6f57c5690ba/dblp}, booktitle = {PASTE}, crossref = {conf/paste/2004}, editor = {Flanagan, Cormac and Zeller, Andreas}, ee = {https://doi.org/10.1145/996821.996827}, interhash = {f80fe2a5a49ae0c457667c277cdb04e3}, intrahash = {ba95b2be3254c38196aab6f57c5690ba}, isbn = {1-58113-910-1}, keywords = {dblp}, pages = {8-13}, publisher = {ACM}, timestamp = {2018-11-07T14:45:12.000+0100}, title = {Validation of assembler programs for DSPs: a static analyzer.}, url = {http://dblp.uni-trier.de/db/conf/paste/paste2004.html#Martel04}, year = 2004 }