(Q7860967)

English

Typestate analysis

form of program analysis

  • protocol analysis

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit