Applying Formal Methods for Human Error Tolerant Design

@article{fields1994,
  title = {Applying Formal Methods for Human Error Tolerant Design},
  author = {Bob Fields and Peter C. Wright and Michael D. Harrison},
  journal = {ICSE Workshop on SE-HCI},
  year = {1994},
  month = {Jan},
  doi = {10.1007/bfb0035815},
  url = {https://doi.org/10.1007/bfb0035815},
}

Bob Fields et al. (1994). Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI. https://doi.org/10.1007/bfb0035815

Bob Fields, et al.. "Applying Formal Methods for Human Error Tolerant Design." ICSE Workshop on SE-HCI, 1994, https://doi.org/10.1007/bfb0035815.

Bob Fields, et al.. "Applying Formal Methods for Human Error Tolerant Design." ICSE Workshop on SE-HCI (1994). https://doi.org/10.1007/bfb0035815

Bob Fields et al., 1994. Applying Formal Methods for Human Error Tolerant Design. ICSE Workshop on SE-HCI. Available at: <https://doi.org/10.1007/bfb0035815>.

TY  - JOUR
TI  - Applying Formal Methods for Human Error Tolerant Design
AU  - Bob Fields
AU  - Peter C. Wright
AU  - Michael D. Harrison
PY  - 1994
JO  - ICSE Workshop on SE-HCI
DO  - 10.1007/bfb0035815
UR  - https://doi.org/10.1007/bfb0035815
ER  -