Using a Model Checker for the Verification of the GUI Implementation Academic Article uri icon

author list (cited authors)

  • Alsmadi, I.

complete list of authors

  • Alsmadi, I

publication date

  • 2009