Folding Human Factors into Rigorous Development

David J. Duke, Michael D. Harrison. Folding Human Factors into Rigorous Development. In Fabio PaternĂ², editor, Design, Specification and Verification of Interactive Systems 94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy. pages 333-347, Springer, 1994.

@inproceedings{DukeH94,
  title = {Folding Human Factors into Rigorous Development},
  author = {David J. Duke and Michael D. Harrison},
  year = {1994},
  tags = {human factors},
  researchr = {https://researchr.org/publication/DukeH94},
  cites = {0},
  citedby = {0},
  pages = {333-347},
  booktitle = {Design, Specification and Verification of Interactive Systems 94, Proceedings of the First International Eurographics Workshop, June 8-10, 1994, Bocca di Magra, Italy},
  editor = {Fabio PaternĂ²},
  publisher = {Springer},
  isbn = {3-540-59480-9},
}