[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

NeilMEtal98
  1. Martin Neil & Gary Ostrolenk & Mary Tobin & Mark Southworth
  2. Lessons from Using Z to Specify a Software Tool
  3. IEEE Trans Soft Eng V24n1(Jan 1998)pp15-23
  4. =EXPERIENCE Z SPECIFICATIONS caused problems
  5. high productivity+low fault density inexplicable
  6. (dick)|-wot no DDD!

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]