APA (7th ed.) Citation

(1997). Proceedings of the workshop on automated theorem proving in software engineering. North Queensland Conference Management.

Chicago Style (17th ed.) Citation

Proceedings of the Workshop on Automated Theorem Proving in Software Engineering. [Townsville, Qld.: North Queensland Conference Management, 1997.

MLA (8th ed.) Citation

Proceedings of the Workshop on Automated Theorem Proving in Software Engineering. North Queensland Conference Management, 1997.

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