Barthe. Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Dyfyniad Arddull ChicagoBarthe. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Dyfyniad MLABarthe. Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation. Association for Computing Machinery (ACM).
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.