Jhala. Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation. Association for Computing Machinery (ACM).
Citación estilo ChicagoJhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Cita MLAJhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Warning: These citations may not always be 100% accurate.