|
| Ramírez-de León, Edgar Darío, Chávez-Bosquez, Oscar and Francisco-León, Julián Javier Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification. Ing. invest. y tecnol., Dic 2014, vol.15, no.4, p.493-504. ISSN 1405-7743
|
|