J. C. Campos and M. D. Harrison
The role of verification in interactive systems design
In P. Markopoulos and P. Johnson, editors, Design, Specification and Verification of Interactive Systems '98, Springer Computer Science, pages 155-170. Springer-Verlag/Wien. 1998. (ISSN: 0946-2767, ISBN: 3-211-83212-2)

download PDF

@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