From: roderick.chapman@googlemail.com
Subject: Re: Arguments for using Ada
Date: Thu, 21 May 2009 11:33:10 -0700 (PDT)
Date: 2009-05-21T11:33:10-07:00 [thread overview]
Message-ID: <6dbd256b-53c3-40a0-8754-00e69cd8a5a2@n21g2000vba.googlegroups.com> (raw)
In-Reply-To: 5c1771d1-74a9-4640-b171-78a86196461c@l28g2000vba.googlegroups.com
On May 21, 3:23 pm, Mike Silva <snarflem...@yahoo.com> wrote:
> I've always been impressed by the finding that some Ada code certified
> Maybe the Praxis folk can help you document that finding.
It's in Andy German's paper from CrossTalk - see my posting above.
- Rod
next prev parent reply other threads:[~2009-05-21 18:33 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-19 8:41 Arguments for using Ada Georg Maubach
2009-05-19 9:13 ` christoph.grein
2009-05-19 9:18 ` Ludovic Brenta
2009-05-19 9:38 ` Ludovic Brenta
2009-05-19 11:28 ` roderick.chapman
2009-05-19 12:29 ` Peter Hermann
2009-05-21 14:23 ` Mike Silva
2009-05-21 18:33 ` roderick.chapman [this message]
2009-05-25 6:06 ` Michael Erdmann
2009-05-25 6:06 ` Michael Erdmann
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox