@inproceedings{conf/asm/UttingM08,
	title = {Unit Testing of Z Specifications.},
	author = {Mark Utting and Petra Malik},
	booktitle = {ABZ},
	crossref = {conf/asm/2008},
	editor = {Egon Börger and Michael Butler and Jonathan P. Bowen and Paul Boca},
	pages = {309-322},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/asm/abz2008.html#UttingM08},
	volume = {5238},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/209c1699f77aaa2ce4d53387f1107fd3f/dblp},
	description = {dblp},
	date = {2008-09-26}, ee = {http://dx.doi.org/10.1007/978-3-540-87603-8_24}, isbn = {978-3-540-87602-1},
	keywords = {dblp }
}