SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GNU General Public License v3.0
249
stars
33
forks
source link
revised Japanese UG for version 18.0w #1
Closed
masao-nil closed 7 years ago
I revised the Japanese UG to match the newest original one and fixed some typos.