HN
Hacker News
Top
New
Best
Ask
Show
Jobs
c2the3rd
119 karma · joined October 6, 2014
submissions
comments
Nvdia using SPARK for safety-critical firmware
adacore.com
·
3 pts
·
c2the3rd
·
0