From: roderick.chapman@googlemail.com
Subject: Re: I'm a noob here.
Date: Mon, 5 May 2014 06:57:14 -0700 (PDT)
Date: 2014-05-05T06:57:14-07:00 [thread overview]
Message-ID: <5952c4ee-89a0-4d5e-9416-8bb0841ae3d0@googlegroups.com> (raw)
In-Reply-To: <2c400962-3a09-4da2-9f56-b4f1986b80f8@googlegroups.com>
I suggest you drop a note to sales@adacore.com and
we'll have a proper chance to explain the goals
of SPARK.
Rod Chapman, SPARK Team, Altran UK
next prev parent reply other threads:[~2014-05-05 13:57 UTC|newest]
Thread overview: 13+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-05-05 11:28 I'm a noob here sdalemorrey
2014-05-05 12:43 ` Dan'l Miller
2014-05-05 13:52 ` sdalemorrey
2014-05-05 13:59 ` roderick.chapman
2014-05-05 16:40 ` G.B.
2014-05-05 16:47 ` G.B.
2014-05-05 17:35 ` Shark8
2014-05-06 10:47 ` Brian Drummond
2014-05-05 13:57 ` roderick.chapman [this message]
2014-05-05 17:34 ` Shark8
2014-05-05 17:46 ` Jeffrey Carter
2014-05-05 18:07 ` Nasser M. Abbasi
2014-05-05 19:02 ` Georg Bauhaus
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox