| Record ID | ia:axiomatizingsoft00weyu |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/axiomatizingsoft00weyu/axiomatizingsoft00weyu_marc.xml |
| Download MARC binary | https://www.archive.org/download/axiomatizingsoft00weyu/axiomatizingsoft00weyu_meta.mrc |
LEADER: 00604nam 22001812 45R0
001 NYUb13601991
003 NYU
005 20080409192045.0
008 080409s198401 nyu 000 0 eng d
035 $a(nnu-cims)tr2008d0e6383
040 $aNNU$cNNU
088 $aCS TR-099
100 1 $aWeyuker, Elaine J.
245 10 $aAxiomatizing software test data adequacy.
260 $aNew York:$bCourant Institute of Mathematical Sciences, New York University,$cJan. 1984.
300 $a48 p.$c28 cm.
655 0 $aTechnical reports
852 4 $aNNU$bNYU$bCourant$bTechRept$jCIMS CS TR-099$714471286$pN11989602$yAvailable$5N11989602