APA (7th ed.) Citation

(1985). Proceedings of VERkshop III - A Formal Verification Workshop: [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985. Association for Computing Machinery.

Chicago Style (17th ed.) Citation

Proceedings of VERkshop III - A Formal Verification Workshop: [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985. New York: Association for Computing Machinery, 1985.

MLA (8th ed.) Citation

Proceedings of VERkshop III - A Formal Verification Workshop: [Proceedings] Watsonville, California, 18-21 February 1985 ACM/SIGSOFT Vol 10, No 4, Aug. 1985. Association for Computing Machinery, 1985.