Jprove : una plataforma de verificación para Java (2006)
Magíster en Ingeniería de Sistemas y Computación