935 shaares
171 private links
171 private links
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.
Gerard J. Holzmann
NASA/JPL Laboratory for Reliable Software
Adhering to a set of 10 verifiable coding rules can make the analysis of critical software components more reliable.
Gerard J. Holzmann
NASA/JPL Laboratory for Reliable Software
