Publications

@inproceedings{icps-2004-114,
	title = "A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization",
	author= "Ph. Clauss and I. Tchoupaeva",
 	booktitle = "13th International Conference on Compiler Construction, CC 2004",
 	series = "LNCS",
	volume = "2985",
	publisher = "Springer",
	pages = "120-133",
	editor = "Evelyn Duesterwald",
	location = "Barcelona, Spain",
	month = "April",
	year  = "2004",
}