* wanted: "The Role of an Ada Formal Specification"
@ 1992-09-22 18:49 van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper
0 siblings, 0 replies; 2+ messages in thread
From: van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper @ 1992-09-22 18:49 UTC (permalink / raw)
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 |
+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+ +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
^ permalink raw reply [flat|nested] 2+ messages in thread
* wanted: "The Role of an Ada Formal Specification"
@ 1992-09-22 22:30 pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace
0 siblings, 0 replies; 2+ messages in thread
From: pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace @ 1992-09-22 22:30 UTC (permalink / 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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~1992-09-22 22:30 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
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
-- strict thread matches above, loose matches on Subject: below --
1992-09-22 22:30 pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox