@INproceedings{DohertyCH98, author = {G. Doherty and J. C. Campos and M. D. Harrison}, title = {Representational Reasoning and Verification}, booktitle = {Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction}, publisher = {SHU Press}, year = {1998}, editor = {J. I. Siddiqi}, pages = {193-212}, note = {ISBN: 0-86339-7948} }
Generated by mkBiblio 2.6.26