(2005). Combinando ejecución simbólica y verificación de modelos para reducir la sobrecarga del análisis dinámico del programa.
Chicago Style (17th ed.) CitationCombinando Ejecución Simbólica Y Verificación De Modelos Para Reducir La Sobrecarga Del Análisis Dinámico Del Programa. 2005.
MLA (8th ed.) CitationCombinando Ejecución Simbólica Y Verificación De Modelos Para Reducir La Sobrecarga Del Análisis Dinámico Del Programa. 2005.
Warning: These citations may not always be 100% accurate.