@MastersThesis {Master:Juhasz08,
	AUTHOR = "Uri Juhasz",
	Title ="Modular Verĩcation with Shared Abstractions",
	School = "Tel Aviv University",
	YEAR = 2008,
	address = "Tel Aviv, Israel"
}