Citação norma APA

Kamal, A. (2020). A framework for digital model checking.

Citação norma Chicago

Kamal, Ahmed. A Framework for Digital Model Checking. 2020.

Citação norma MLA

Kamal, Ahmed. A Framework for Digital Model Checking. 2020.

Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.