Verificación de restricciones de modelo, estáticas y dinámicas, en entornos atómicos para lenguajes orientados a objetos 2015
Universidad de Oviedo
Métodos para la asistencia y agilización del diseño y desarrollo de clientes ricos robustos 2019
Quintela Pumares, Manuel
