Citace podle APA (7th ed.)

Alves Almeida, A., Arias-Garcia, J., Llanos, C. H., & Ayala-Rincon, M. (2014, September). Verification of hardware implementations through correctness of their recursive definitions in PVS. 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI), 1-8. https://doi.org/10.1145/2660540.2660982

Citace podle Chicago (17th ed.)

Alves Almeida, Ariane, Janier Arias-Garcia, Carlos H. Llanos, a Mauricio Ayala-Rincon. "Verification of Hardware Implementations Through Correctness of Their Recursive Definitions in PVS." 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI) Sep. 2014: 1-8. https://doi.org/10.1145/2660540.2660982.

Citace podle MLA (9th ed.)

Alves Almeida, Ariane, et al. "Verification of Hardware Implementations Through Correctness of Their Recursive Definitions in PVS." 2014 27th Symposium on Integrated Circuits and Systems Design (SBCCI), Sep. 2014, pp. 1-8, https://doi.org/10.1145/2660540.2660982.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..