Barthe. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Style de citation Chicago (17e éd.)Barthe. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Style de citation MLA (9e éd.)Barthe. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Attention : ces citations peuvent ne pas être correctes à 100%.