@proceedings {hvc:2011:proceedings,
	title = {Hardware and Software: Verification and Testing},
	journal = {Haifa Verification Conference},
	year = {2011},
	note = {<p>n/a</p>
},
	publisher = {Springer Berlin / Heidelberg},
	address = {Haifa, Israel},
	abstract = {<p>n/a</p>
},
	author = {Eder, Kerstin and Jo{\~a}o M. Louren{\c c}o and Onn Shehory},
	editor = {Eder, Kerstin and Jo{\~a}o M. Louren{\c c}o and and Shehory, Onn}
}
