APA引文

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

芝加哥风格引文

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

MLA引文

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

警告：这些引文格式不一定是100％准确.