Abdelkrim Chebieb, Yamine Aït Ameur. Formal Verification of Plastic User Interfaces Exploiting Domain Ontologies. In 2015 International Symposium on Theoretical Aspects of Software Engineering, TASE 2015, Nanjing, China, September 12-14, 2015. pages 79-86, IEEE Computer Society, 2015. [doi]
Abstract is missing.