HELP! ref for TOOLS'94 paper

Article View: comp.lang.eiffel

Article #1106

#1106

From: Tony Simons
Date: Tue, 26 Sep 1995 14:36

19 lines
1004 bytes

Dear folks,

I'm searching for the full reference for a TOOLS'94 paper.  It isn't on
my biblio. CD ROMs yet, so I haven't been successful in finding it.  The 
incomplete information I have is:

	Weber, "Getting class correctness and system correctness right",
	TOOLS '94.

ie I don't know Weber's full name, nor which TOOLS conference in '94, nor
the page numbers of the article.

This is fairly urgent; I'd appreciate it if someone with the knowledge would
email me the full reference.

Many thanks,

Tony Simons

Technical Details

Message-ID: <449361$ll2@hippo.shef.ac.uk>

Path: arc1-ca.pugleaf.net!news.shef.ac.uk!not-for-mail

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!news.shef.ac.uk!not-for-mail
From: ajhs@dcs.shef.ac.uk (Tony Simons)
Newsgroups: comp.lang.eiffel,comp.lang.c++,comp.object
Subject: HELP! ref for TOOLS'94 paper
Date: 26 Sep 1995 14:36:49 GMT
Organization: Department of Computer Science, University of Sheffield
Message-ID: <449361$ll2@hippo.shef.ac.uk>
NNTP-Posting-Host: rhino.dcs.shef.ac.uk
Summary: Need full reference for Weber '94 paper
Keywords: TOOLS 1994
X-Newsreader: TIN [version 1.2 PL2]