Jump to content

SPARK GPL

From Rosetta Code

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"

Cookies help us deliver our services. By using our services, you agree to our use of cookies.