TY  - RPRT
TI  - UIVerify: A Web-Based Tool for Verification and Automatic Generation of User Interfaces
AU  - Shiffman, Smadar
AU  - Degani, Asaf
AU  - Heymann, Michael
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20040079383
ID  - 20040079383
ER  -