Bibliography listing for J. C. Campos

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)

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