Citace podle APA (7th ed.)

Keidar, I., Khazan, R., Lynch, N., & Shvartsman, A. (2000). An inheritance-based technique for building simulation proofs incrementally. Proceedings / International Conference on Software Engineering, 478-487. https://doi.org/10.1145/337180.337358

Citace podle Chicago (17th ed.)

Keidar, Idit, Roger Khazan, Nancy Lynch, a Alex Shvartsman. "An Inheritance-based Technique for Building Simulation Proofs Incrementally." Proceedings / International Conference on Software Engineering 2000: 478-487. https://doi.org/10.1145/337180.337358.

Citace podle MLA (9th ed.)

Keidar, Idit, et al. "An Inheritance-based Technique for Building Simulation Proofs Incrementally." Proceedings / International Conference on Software Engineering, 2000, pp. 478-487, https://doi.org/10.1145/337180.337358.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..