
Developing usable web interfaces with the aid of automatic verification of their formal specification
Rosanna Cassino, Maurizio TucciVolume:
22
Année:
2011
Langue:
english
Pages:
10
DOI:
10.1016/j.jvlc.2010.12.001
Fichier:
PDF, 1.10 MB
english, 2011