Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
-
1Publicado 2015Materias: “...Logic model checking...”
-
2por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Logic model checking...”
CONF