@INproceedings{CamposH98, author = {J. C. Campos and M. D. Harrison}, title = {The role of verification in interactive systems design}, booktitle = {Design, Specification and Verification of Interactive Systems '98}, publisher = {Springer-Verlag/Wien}, year = {1998}, editor = {P. Markopoulos and P. Johnson}, series = {Springer Computer Science}, pages = {155-170}, note = {ISSN: 0946-2767, ISBN: 3-211-83212-2}, organization = {Eurographics}, paperurl = {http://repositorium.sdum.uminho.pt/bitstream/1822/748/1/CamposH98.pdf} }
Generated by mkBiblio 2.6.26