Jhala. Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation. Association for Computing Machinery (ACM).
Chicago-čujuhus (17. p.)Jhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
MLA-čujuhus (9. p.)Jhala. Proceedings of the 12th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.