Anonymous user
Category:SPARK: Difference between revisions
m
Added reference to c.l.a for talking about SPARK.
(Undo revision 88746 by PhilThornley (Talk)) |
m (Added reference to c.l.a for talking about SPARK.) |
||
Line 32:
The SPARK tools are freely available under the GNU GPL. The SPARK language definition is proprietary - the main copyright is held by [http://www.sparkada.com/ Altran-Praxis].
The comp.lang.ada newsgroup is the main forum for discussing or asking questions about SPARK.
| |||