SPARK GPL

Revision as of 16:54, 19 August 2010 by rosettacode>PhilThornley (Created SPARK GPL page)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

SPARK GPL is the version of the SPARK toolset licensed under the GNU Public License (GPL).

SPARK GPL is an implementation of SPARK. Other implementations of SPARK.

It is distributed by [AdaCore].

Retrieved from "https://rosettacode.org/wiki/SPARK_GPL?oldid=155140"