FIT-Conference Hub
Congresos
Revistas
Visualización
Chatbot
NUEVO
Soporte
Publicar
Tema
Español
Congresos
Revistas
Visualización
Chatbot
NUEVO
Soporte
Publicar
Notificaciones
Marcar todo como leído
No hay notificaciones nuevas.
Ver todo
Palabra Clave
Inicio:
Fin:
Tipo
Ubicación
Buscar
Limpiar
Ocultar opciones de búsqueda avanzada
?
Fecha de Envío:
Clasificación:
Todas las Clasificaciones
A*
A
B
C
Unranked
Other
Fuente:
Todas las Fuentes
Editorial:
Temas:
Deductive verification using proof assistants
×
Campo de Investigación:
Resultados de Congresos (1)
Ordenar por:
Fecha de Envío
Conference Date
Clasificación
Tipo
Default
Descending
Ascending
Eventos por página:
4
8
12
20
50
100
Computer Aided Verification (CAV)
Rank: A*
Offline
Zagreb, Croatia
Jul 21, 2025 - Jul 25, 2025
Algorithms and tools for verifying models and implementations
Algorithms and tools for system synthesis
Algorithms and tools that combine verification and learning
+19 más
