Daniele Dell'Erba

	Contact Info:
	Department of Computer Science
	The University of Liverpool
	Ashton Building, Ashton Street
	Liverpool L69 3BX, UK
	email: <daniele> . <dell> - <erba> at <liverpool.ac.uk>

Research Associate at the Department of Computer Science of the University of Liverpool and member of the Verification Group.