Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies.

Abdelkrim Chebieb, Yamine At Ameur

Browse the full TASE paper archive.