From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: SPARK User Group Videos
Date: Tue, 15 Mar 2011 09:35:52 -0700 (PDT)
Date: 2011-03-15T09:35:52-07:00 [thread overview]
Message-ID: <62ead787-f2c1-4b40-9720-88928a53d8fd@x13g2000vbe.googlegroups.com> (raw)
I'm pleased to say that the final video from the SPARK User Group 2010
is now on-line at http://www.adacore.com/home/ada_answers/lectures/spark_2010/
This one features, for a change, a non-technical talk about the SEI's
PSP
and TSP approaches.
All the best,
Rod Chapman, SPARK Team, Altran Praxis
reply other threads:[~2011-03-15 16:35 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox