%0 Conference Paper %1 Utting2000 %A Utting, Mark %B In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of %D 2000 %K %T Data structures for Z testing tools

@inproceedings{Utting2000, added-at = {2010-12-02T22:49:04.000+0100}, author = {Utting, Mark}, biburl = {https://www.bibsonomy.org/bibtex/20f3105fc3f37d90841f1942771bf7a39/tasawer}, booktitle = {In FMTOOLS 2000, TR 2000-07, Information Faculty, Univ. of}, interhash = {01b195fc7f6a70652892db807b0f47aa}, intrahash = {0f3105fc3f37d90841f1942771bf7a39}, keywords = {}, timestamp = {2010-12-02T22:49:04.000+0100}, title = {Data structures for Z testing tools}, year = 2000 }