Machine generated authority record

Work cat.: (OSt)173568: Diller, Martín, Hacia un Marco Ontológico y Epistemológico para una Metodología de la Verificación de los Programas Computacionales en Ciencia de la Computación