Anonymous user
Category:SPARK: Difference between revisions
m
Added newsgroup link.
m (Added reference to c.l.a for talking about SPARK.) |
m (Added newsgroup link.) |
||
Line 33:
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 [news:comp.lang.ada comp.lang.ada] newsgroup is the main forum for discussing or asking questions about SPARK.
| |||