(Q7757930)

English

The Power of 10: Rules for Developing Safety-Critical Code

coding guidelines by Gerald J. Holzmann

  • The Power of Ten

Statements

Identifiers

0 references
 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit