From: Lutz Donnerhacke <lutz@iks-jena.de>
Subject: Re: Where is "Anna" -- an old Ada language extenstion
Date: Fri, 11 May 2007 09:00:45 +0000 (UTC)
Date: 2007-05-11T09:00:45+00:00 [thread overview]
Message-ID: <slrnf48c5t.r2e.lutz@belenus.iks-jena.de> (raw)
In-Reply-To: Pine.LNX.4.64.0705111029090.31686@th.informatik.uni-mannheim.de
* Stefan Lucks wrote:
> Unfortunately, I cannot find her on the Web -- both documents and software
> seem to have disappeared. Can anybody tell me where I could find Anna? I
> would like to explore the tools and to compare them with SPARK.
Most of the publish material was available from archive.org about four years
ago.
next prev parent reply other threads:[~2007-05-11 9:00 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-11 8:35 Where is "Anna" -- an old Ada language extenstion Stefan Lucks
2007-05-11 9:00 ` Lutz Donnerhacke [this message]
2007-05-11 17:43 ` Manuel Collado
2007-05-12 20:19 ` Peter Amey
2007-05-12 21:56 ` Ed Falis
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox