ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

Información:

ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia

EventB2Java: A Code Generator for Event-B

Acceso Cerrado

Idioma: Inglés

Publicado: 01/01/2016

APC (est): No disponible

Abstract no disponible

Formal Methods in Verification

FuenteLecture notes in computer science	Cuartil año de publicaciónNo disponible	VolumenNo disponible
IssueNo disponible	Páginas166 - 171	pISSNNo disponible
ISSN1611-3349	Perfil OpenAlexhttps://openalex.org/S106296714

Doi URL	https://doi.org/10.1007/978-3-319-40648-0_13	Openalex URL	https://openalex.org/W2479834302

Capítulo de libro