From: pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace@decwrl.dec.com (Richard Wal
Subject: wanted: "The Role of an Ada Formal Specification"
Date: 22 Sep 92 22:30:05 GMT [thread overview]
Message-ID: <1992Sep22.223005.13007@nntpd2.cxo.dec.com> (raw)
ivanov@osf.org (Eric Ivanov) writes:
: Hi netters,
:
: I am looking for a paper with the above title. If you know pointers
: to where to find a copy please reply by email (I don't read this group
: usually).
:
: Thanks in advance.
:
: +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+ +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
: | Eric Ivanov | | messages: ivanov@gr.osf.org |
: | Institut de Recherche OSF | | ou: ivanov@ri.osf.fr |
: | 2 avenue de Vignate | |telephone: (+33) 76.63.48.96 |
: | 38610 GIERES FRANCE | | fax: (+33) 76.51.05.32 |
: +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+ +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
I am looking for this paper too! Please post replies to this news group.
Thanks!
Richard Wallace
Digital Equipment Corporation
301 Rockrimmon Blvd. South
CXO2-1/7A
Colorado Springs, CO 80919-2398
(719)548-2792
<wallace@cookie.enet.dec.com>
"The opinions expressed are my own, Unlce Ken or Uncle Bob
may, or may not, agree with me.
next reply other threads:[~1992-09-22 22:30 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1992-09-22 22:30 pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace [this message]
-- strict thread matches above, loose matches on Subject: below --
1992-09-22 18:49 wanted: "The Role of an Ada Formal Specification" van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox