Cita APA

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

Citación estilo Chicago

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

Cita MLA

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