@MastersThesis{Master:Ellenbogen04,
	AUTHOR = "Ron Ellenbogen",
	Title ="Fully Automatic Verĩcation of Absence of Errors via Interprocedural Integer Analysis",
	School = "Tel Aviv University",
	YEAR = 2004,
	address = "Tel Aviv, Israel"
}