%0 Conference Paper %1 conf/icta/BelliHC09 %A Belli, Fevzi %A Hollmann, Axel %A Chen, Zhenyu %B ICTA %D 2009 %E Jemni, Mohamed %K dblp %P 65-74 %T Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces. %U http://dblp.uni-trier.de/db/conf/icta/icta2009.html#BelliHC09 %@ 978-9973-37-516-2

@inproceedings{conf/icta/BelliHC09, added-at = {2009-12-30T00:00:00.000+0100}, author = {Belli, Fevzi and Hollmann, Axel and Chen, Zhenyu}, biburl = {https://www.bibsonomy.org/bibtex/2d7b878a2c52b2309a1287057b22f44cf/dblp}, booktitle = {ICTA}, crossref = {conf/icta/2009}, date = {2009-12-30}, description = {dblp}, editor = {Jemni, Mohamed}, interhash = {ab0fd40ed452d910674b64dd7f042dff}, intrahash = {d7b878a2c52b2309a1287057b22f44cf}, isbn = {978-9973-37-516-2}, keywords = {dblp}, pages = {65-74}, timestamp = {2009-12-31T11:34:59.000+0100}, title = {Mutant-Based Model-Checking to Ensure Accessibility and Safety Aspects of Human Computer Interfaces.}, url = {http://dblp.uni-trier.de/db/conf/icta/icta2009.html#BelliHC09}, year = 2009 }