Babel: desarrollo de software fiable y de alta calidad a partir de tecnología declarativa

El grupo de investigación no tiene miembros.