State of the Art in the Research of Formal Verification

Citación

Estilo APA:
Serna-M., E.,Morales-V., D.,(2014). State of the Art in the Research of Formal Verification. Ingeniería Investigación y Tecnología, 15 (04), 615-623. https://doi.org/10.1016/S1405-7743(14)70659-6

Estilo Harvard:
Serna-M., E., Morales-V., D., (2014). "State of the Art in the Research of Formal Verification", Ingeniería Investigación y Tecnología, 04 (15), 615-623. https://doi.org/10.1016/S1405-7743(14)70659-6

Estilo IEEE:
E. Serna-M., D. Morales-V., "State of the Art in the Research of Formal Verification", Ingeniería Investigación y Tecnología (México), 04, 615-623, 010, 2014. https://doi.org/10.1016/S1405-7743(14)70659-6

Estilo ABNT:
SERNA-M., E.; MORALES-V., D.; State of the Art in the Research of Formal Verification. Ingeniería Investigación y Tecnología, 04, 615-623, 01, 010, 2014. https://doi.org/10.1016/S1405-7743(14)70659-6