Guaranteeing Consistency in Text-Based Human-Computer Interaction

Reviewed Paper In Proceedings

Author(s):Bernhard Beckert and Gerd Beuster
In:Proceedings, International Workshop on Formal Methods for Interactive Systems (FMIS), Macao SAR China
Year:2006

BibTeX

@inproceedings{BeckertBeusterFMIS2006,
  author    = {Bernhard Beckert and Gerd Beuster},
  title     = {Guaranteeing Consistency in Text-Based Human-Computer Interaction},
  booktitle = {Proceedings, International Workshop on 
               Formal Methods for Interactive Systems (FMIS), 
               Macao SAR China},
  editors   = {A. Cerone and P. Curzon},
  year      = {2006}
}