comp.lang.ada
 help / color / mirror / Atom feed
From: Peter Amey <pna@praxis-cs.co.uk>
Subject: Re: High integrity software
Date: 2000/07/12
Date: 2000-07-12T00:00:00+00:00	[thread overview]
Message-ID: <396C2BA2.77F39550@praxis-cs.co.uk> (raw)
In-Reply-To: PUt95.7834$7%3.598285@news.flash.net

[snip]
> >
> >   Can you tell me where I can find some information on SPARK?
> 
> http://www.praxis-cs.co.uk/ (the best source, but offline when I tried it)
                                                    ^
Sorry, we are suffering the after effects of a lighting strike

[snip]

-- 
---------------------------------------------------------------------------   
      __         Peter Amey, Product Manager
        )                    Praxis Critical Systems Ltd
       /                     20, Manvers Street, Bath, BA1 1PX
      / 0        Tel: +44 (0)1225 466991
     (_/         Fax: +44 (0)1225 469006
                 http://www.praxis-cs.co.uk/

--------------------------------------------------------------------------




           reply	other threads:[~2000-07-12  0:00 UTC|newest]

Thread overview: expand[flat|nested]  mbox.gz  Atom feed
 [parent not found: <PUt95.7834$7%3.598285@news.flash.net>]
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox