Verificación formal de un servicio informatizado para la gestión de impagados de un sector
Autor(es) y otros:
Fecha de publicación:
2001
Descripción física:
p. 237-246
Descripción:
Simposio en Informática y Telecomunicación (SIT) (2001, A Coruña)
ISBN:
84-931933-8-0