Ing. invest. y tecnol.- PDF Download - Art. IDS1405-77432014000400012

Ingeniería, investigación y tecnología
On-line version ISSN 2594-0732Print version ISSN 1405-7743

PDF Download

Initiating download of PDF file in 10 seconds. Please wait!

SERNA-M., Edgar and MORALES-V, David. State of the Art in the Research of Formal Verification. Ing. invest. y tecnol. [online]. 2014, vol.15, n.4, pp.615-623. ISSN 2594-0732.

All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License