Dominikus Herzberg, Nicola Marsden, Corinna Leonhardt, Peter Kübler, Hartmut Jung, Sabine Thomanek, Annette Becker. Using Formal Specification Techniques for Advanced Counseling Systems in Health Care. In Andreas Holzinger, editor, HCI and Usability for Medicine and Health Care, Third Symposium of the Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society, USAB 2007, Graz, Austria, November, 22, 2007, Proceedings. Volume 4799 of Lecture Notes in Computer Science, pages 41-54, Springer, 2007. [doi]
Abstract is missing.