{"_id":"jvRPY6eT9oG9Jj8z5","bibbaseid":"atameur-baron-girard-formalvalidationofhciusertasks-2003","downloads":0,"creationDate":"2015-04-07T17:36:59.985Z","title":"Formal Validation of HCI User Tasks","author_short":["Aït Ameur, Y.","Baron, M.","Girard, P."],"year":2003,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/serp/AmeurBG03","bibdata":{"title":"Formal Validation of HCI User Tasks","author":["Yamine Aït Ameur","Mickaël Baron","Patrick Girard"],"author_short":["Aït Ameur, Y.","Baron, M.","Girard, P."],"bibtype":"inproceedings","type":"inproceedings","year":"2003","key":"dblp3738363","id":"dblp3738363","biburl":"http://www.dblp.org/rec/bibtex/conf/serp/AmeurBG03","url":"","conference":"Software Engineering Research and Practice","pages":"732-738","text":"Software Engineering Research and Practice 2003:732-738","booktitle":"Proceedings of Software Engineering Research and Practice","bibtex":"@inproceedings{ dblp3738363,\n title = {Formal Validation of HCI User Tasks},\n author = {Yamine Aït Ameur and Mickaël Baron and Patrick Girard},\n author_short = {Aït Ameur, Y. and Baron, M. and Girard, P.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2003},\n key = {dblp3738363},\n id = {dblp3738363},\n biburl = {http://www.dblp.org/rec/bibtex/conf/serp/AmeurBG03},\n url = {},\n conference = {Software Engineering Research and Practice},\n pages = {732-738},\n text = {Software Engineering Research and Practice 2003:732-738},\n booktitle = {Proceedings of Software Engineering Research and Practice}\n}","bibbaseid":"atameur-baron-girard-formalvalidationofhciusertasks-2003","role":"author","urls":{},"downloads":0},"search_terms":["formal","validation","hci","user","tasks","aït ameur","baron","girard"],"keywords":[],"authorIDs":[],"dataSources":["ARHsTrXp7M8B8TAfp"]}