[Spark2014-discuss] [M122-037] specifying SPARK sources for analysis
taft at adacore.com
Thu Mar 14 18:40:23 CET 2013
On 3/14/13 1:20 PM, Arnaud Charlet wrote:
> The idea is that I come up with such summary+proposal sufficiently in
> advance so that we can discuss it during the 26th March SPARK concall.
> How does that sound?
Sounds good. I wrote one SPARK issue recently, at:
It might provide you some ideas on structure.
More information about the Spark2014-discuss