@MastersThesis{Master:Warshavsky01,
	AUTHOR = "Alex Warshavsky",
	Title ="Deriving Specialized Heap Analyses for Verifying Component-Client Conformance",
	School = "Tel Aviv University",
	YEAR = 2001,
	address = "Tel Aviv, Israel"
}