SPARK GPL

From Rosetta Code
Revision as of 02:00, 9 November 2011 by rosettacode>Blue Prawn
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
SPARK GPL is an implementation of SPARK. Other implementations of SPARK.

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

It is distributed by AdaCore.

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