Kamal, A. (2020). A framework for digital model checking.
Citação norma ChicagoKamal, Ahmed. A Framework for Digital Model Checking. 2020.
Citação norma MLAKamal, 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.