000 00418pab a2200157 454500
008 180718b1990 xxu||||| |||| 00| 0 eng d
100 _aPitt, David H.
245 _aThe derivation of conformance taste from LOTOS specifications
260 _c1990
300 _a1337-42
362 _aDec.
650 _aComputers
700 _aFreestone, David
773 _aIEEE Transactions on Software Engineering
909 _a6358
999 _c6358
_d6358