000 00390pab a2200145 454500
008 180718b xxu||||| |||| 00| 0 eng d
100 _aPitt, David H.
245 _aThe derivation of conformance tests from LOTUS specifications
650 _a Software
650 _a Lotus
650 _aComputers
700 _aFreestone, David
773 _aIEEE Transations on Software Engineering
909 _a79
999 _c79
_d79