Universidad de Salamanca2018-01-202018-01-202013-04-18http://repositorio.grial.eu/handle/grial/1126MÁSTER UNIVERSITARIO EN INGENIERÍA INFORMÁTICA PROPUESTA DE MÁSTER UNIVERSITARIO PARA VERIFICACIÓNesMáster Universitario en Ingeniería en InformáticaMemoria verificaciónMáster Universitario en Ingeniería Informática. Propuesta de Máster Universitario para verificaciónTechnical Report