Data structures for Z testing tools / by Mark Utting.
 LDR 01018cam  2200289 a 4500
001     384611
005     20010710083544.0
008     010706s2001    nz       b    000 0 eng  
010    _o 6373888
020    _c Gratis (pbk.)
035    _a (NLNZils)643393
035    _9 ABV-9145
040    _a NZNB
       _c NZNB
082 04 _a 005.14
       _2 21
092    _a QA75.5.W926 no.2001/4
100 1  _a Utting, Mark.
245 10 _a Data structures for Z testing tools /
       _c by Mark Utting.
260    _a Hamilton, N.Z. :
       _b Dept. of Computer Science, University of Waikato,
       _c c2001.
300    _a [12] leaves ;
       _c 30 cm.
490 1  _a Working paper series,
       _x 1170-487X ;
       _v 01/4
500    _a "June 2001."
504    _a Includes bibliographical references (leaves [10-11]).
650  0 _a Z (Computer program language)
650  0 _a Computer software
       _x Testing.
650  0 _a Computer software
       _x Evaluation.
710    _a University of Waikato.
       _b Dept. of Computer Science.
830  0 _a Working paper series (University of Waikato. Dept. of
 Computer Science) ;
       _v 01/4.