Jhala. Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Jhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
MLA-viite (9. p.)Jhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.