Inproceedings,

Formal verification of UI using the power of a recent tool suite.

, , and .
EICS, page 235-240. ACM, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews