Barthe. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Citação norma ChicagoBarthe. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Citação norma MLABarthe. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.