@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