Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Danni Yu
Dickinson College
Perfil externo:
Citaciones:
16
Productos:
1
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
1 Producto
Más citado
CSV
API
Translating B machines to JML specifications
Acceso Cerrado
CAP_LIB-GC_CAP_LIB
ID Minciencias: CAP_LIB-0000086614-30014
Nestor Catano Collazos
Tim Wahls
Camilo Rueda Calderon
Victor Rivera
Danni Yu
Temas:
Computer science
Java
Programming language
Suite
Software engineering
Assertion
Test suite
Formal specification
Task (project management)
Software development
Software
Test case
Systems engineering
Regression analysis
Archaeology
Machine learning
Engineering
History
Publicado: 2012
Citaciones:
16
Altmétricas:
0
Capítulo de libro
1
NaN
