USING FORMAL METHOD FOR GUI MODEL VERIFICATION Academic Article uri icon

author list (cited authors)

  • Alsmadi, I.

complete list of authors

  • Alsmadi, I