Normal view
MARC view
- SPARK (Computer program language)
SPARK (Computer program language) (Topical Term)
Machine generated authority record.
Work cat.: (OSt)158092: McCormick, John W 11105, Building high integrity applications with SPARK /, 2015.