Métodos lógicos para la verificación de programas
URI permanente para esta colección:https://hdl.handle.net/11705/PROLE/2026/MLVP
Artículos en la categoría Métodos lógicos para la verificación de programas publicados en las Actas de las XXV Jornadas de Programación y Lenguajes (PROLE 2026).
Notificar un error en esta colección