About
Sign in
Join
Building High Integrity Applications with SPARK
John W. McCormick,
Peter C. Chapin
—
2015
This is the first introduction to the SPARK 2014 language and the tools to verify programs for safety- and security-critical applications.
Buy
Want to read
Sign up to use
Share
0
Reviews
0
Highlights
0
Currently reading
0
Finished
0
Want to read