Almeida, J. B., Barbosa, M., Barthe, G., Campagna, M., Cohen, E., Gregoire, B., . . . Tasiran, S. (2019). A machine-checked proof of security for AWS key management service.
Citação norma ChicagoAlmeida, José Bacelar, et al. A Machine-checked Proof of Security for AWS Key Management Service. 2019.
Citação norma MLAAlmeida, José Bacelar, et al. A Machine-checked Proof of Security for AWS Key Management Service. 2019.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.