G. Doherty, J. C. Campos and M. D. Harrison
Representational Reasoning and Verification
In J. I. Siddiqi, editor, Proceedings of the BCS-FACS Workshop: Formal Aspects of the Human Computer Interaction, pages 193-212. SHU Press. 1998. (ISBN: 0-86339-7948) 

@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.28