APA (7th ed.) Citation

Campos, J. C., & Harrison, M. D. (1997). Formally verifying interactive systems: A review.

Chicago Style (17th ed.) Citation

Campos, J. Creissac, and M. D. Harrison. Formally Verifying Interactive Systems: A Review. 1997.

MLA (8th ed.) Citation

Campos, J. Creissac, and M. D. Harrison. Formally Verifying Interactive Systems: A Review. 1997.

Warning: These citations may not always be 100% accurate.