J. C. Campos and M. D. Harrison
Formally Verifying Interactive Systems: A Review
In M. D. Harrison and J. C. Torres, editors, Design, Specification and Verification of Interactive Systems '97, Springer Computer Science, pages 109-124. Springer-Verlag/Wien. 1997. (ISSN: 0946-2767, ISBN: 3-211-83055-3)

download PDF

@INproceedings{CamposH97,
 author = {J. C. Campos and M. D. Harrison},
 title = {Formally Verifying Interactive Systems: A Review},
 booktitle = {Design, Specification and Verification of Interactive Systems '97},
 publisher = {Springer-Verlag/Wien},
 year = {1997},
 editor = {M. D. Harrison and J. C. Torres},
 series = {Springer Computer Science},
 pages = {109-124},
 note = {ISSN: 0946-2767, ISBN: 3-211-83055-3},
 organization = {Eurographics},
 paperurl = {http://repositorium.sdum.uminho.pt/bitstream/1822/746/1/CamposH97.pdf}
}

Generated by mkBiblio 2.6.26