@phdthesis{tesis-jesus,
author = {J.~Correas},
title = {{A}n\'{a}lisis y {V}erificaci\'{o}n de {P}rogramas {M}odulares},
month = {Junio},
address = {Facultad Inform\'{a}tica UPM, 28660-Boadilla del Monte,
Madrid-Spain},
school = {Universidad Polit\'{e}cnica de Madrid (UPM)},
projects = {MERIT,PROMESAS},
butype = {phdthesis},
year = {2008}
}