Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

Guaranteeing Consistency in Text-Based Human-Computer Interaction

Reviewed Paper In Proceedings
Author(s):Bernhard Beckert and Gerd Beuster
In:International Workshop on Formal Methods for Interactive Systems (FMIS 2006)
Year:2006

BibTeX

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