APA (7th ed.) Citation

Campos, J. C., & Harrison, M. d. (2019). Formal verification of interactive computing systems: Opportunities and challenges.

Chicago Style (17th ed.) Citation

Campos, José C., and Michael douglas Harrison. Formal Verification of Interactive Computing Systems: Opportunities and Challenges. 2019.

MLA (8th ed.) Citation

Campos, José C., and Michael douglas Harrison. Formal Verification of Interactive Computing Systems: Opportunities and Challenges. 2019.

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