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
Chicago-Zitierstil (17. Ausg.)Keidar, Idit, Roger Khazan, Nancy Lynch, und 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.
MLA-Zitierstil (9. Ausg.)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.