Paper Title:
Data structures for Z testing tools Authored By:B.M. Utting Number:01/4 Publisher:Department of Computer Science, The University of Waikato Publication Date:2001
Bibtex Record:
@workingpaper{
Author = {Utting, B.M.},
Title = {Data structures for Z testing tools},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {01/4},
Year = {2001}
}
