Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!rutgers!mcnc!duke!romeo!crm From: crm@romeo.cs.duke.edu (Charlie Martin) Newsgroups: comp.software-eng Subject: Fetzer Keywords: hah! Message-ID: <17782@duke.cs.duke.edu> Date: 24 Feb 90 04:34:44 GMT Sender: news@duke.cs.duke.edu Lines: 8 I just received a respond from the very Fetzer to my long ago postings on verification. I would not want to quote them without his permission. But I am not impressed. Can you say "ad hominem (abusive)"? Charlie Martin (crm@cs.duke.edu,mcnc!duke!crm)