Plasticity of user interfaces: formal verification of consistency.

Raquel Arajo de Oliveira, Sophie Dupuy-Chessa, Galle Calvary

Browse the full EICS paper archive.