@inproceedings{PASTE-2004-Martel,
	author        = "Matthieu Martel",
	booktitle     = "{Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering}",
	doi           = "10.1145/996821.996827",
	isbn          = "1-58113-910-1",
	pages         = "8--13",
	publisher     = "{ACM}",
	title         = "{Validation of assembler programs for DSPs: a static analyzer}",
	year          = 2004,
}