Chaves, L., Bessa, I., Cordeiro, L., Kroening, D., & Lima Filho, E. (2017). Verifying digital systems with MATLAB. Association for Computing Machinery.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումChaves, L., I. Bessa, L. Cordeiro, D. Kroening, and E. Lima Filho. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
MLA (9րդ խմբ.) ՄեջբերումChaves, L., et al. Verifying Digital Systems with MATLAB. Association for Computing Machinery, 2017.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.