SPARK Annotation Language

<language> (SAL) ICL, Ltd. Used in the verification of SPARK programs against Z specifications.

Last updated: 1994-12-08

Try this search on Wikipedia, OneLook, Google

Nearby terms: SPARCsystem 4 « SPARC Xterminal 1 « SPARK « SPARK Annotation Language » SPARKS » sparse » Spatial Technologies


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.