Modeling Systems and Proving their Correctness with Event-B and Rodin

Colecciones

Formal Verification and Correctness

Cargando...

Página completa del ítem

Mostrar cita

Mostrar cita en BibTeX