XML in Formal Specification, Verification and Generation of Mobile HCI.

Ines Riahi, Meriem Riahi, Faouzi Moussa

Browse the full HCI paper archive.