From: van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper boy.osf.org!osf.org!ivanov@ucbvax.Berkeley.EDU (Eric Ivanov)
Subject: wanted: "The Role of an Ada Formal Specification"
Date: 22 Sep 92 18:49:31 GMT [thread overview]
Message-ID: <1992Sep22.184931.6332@osf.org> (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 |
+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+ +=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+=+
next reply other threads:[~1992-09-22 18:49 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1992-09-22 18:49 van-bc!ubc-cs!destroyer!sol.ctr.columbia.edu!spool.mu.edu!think.com!paper [this message]
-- strict thread matches above, loose matches on Subject: below --
1992-09-22 22:30 wanted: "The Role of an Ada Formal Specification" pa.dec.com!nntpd2.cxo.dec.com!bonmot!wallace
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox