home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #27 / NN_1992_27.iso / spool / comp / lang / smalltal / 2350 < prev    next >
Encoding:
Internet Message Format  |  1992-11-24  |  567 b 
  1. Path: sparky!uunet!icd.ab.com!iccgcc.decnet.ab.com!fleischer
  2. From: fleischer@iccgcc.decnet.ab.com (Rick)
  3. Newsgroups: comp.lang.smalltalk
  4. Subject: Proof of correctness
  5. Message-ID: <1992Nov23.171416.9335@iccgcc.decnet.ab.com>
  6. Date: 23 Nov 92 17:14:16 EST
  7. Lines: 9
  8.  
  9. I am looking for information on OO development from proof of
  10. correctness.  (General information on programming from proof 
  11. of correctness is welcome also.)
  12.  
  13. I will, of course, summarize EMAIL response, so there is no
  14. need to EMAIL *me* to request information.
  15.  
  16. Thanks,
  17. Rick FLEISCHER@ASTRO.DECNET.AB.COM
  18.