Publications de Danièle Dadolle avec IIHM [bibtex|json]
2016
Conférences internationales de large diffusion avec comité de lecture sur texte complet
-
Using formal models to cross check an implementation
In Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing System EICS 2016.
Oliveira, Dupuy-Chessa, Calvary, Dadolle