From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: Robert Dewar
Date: 1997/05/18
Date: 1997-05-18T00:00:00+00:00 [thread overview]
Message-ID: <dewar.864000751@merv> (raw)
In-Reply-To: 33799254.3DC58640@student.anu.edu.au
The technical documentation is in the sources. In addition, there is at
least one Tri-Ada paper describing the general approach.
prev parent reply other threads:[~1997-05-18 0:00 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-05-14 0:00 Robert Dewar Raffaele Filardo
1997-05-18 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox