Volver a los detalles del artÃculo
Combining symbolic execution and model checking to reduce dynamic program analysis overhead
Descargar
Descargar PDF