MASTER THESIS IN COMPUTING (AP)

When

Jul 07, 2011 from 12:00 PM to 01:00 PM (Europe/Madrid / UTC200)

Where

room S205, building Omega. Campus Nord

Add event to calendar

iCal

Student: Daniel Larraz Hurtado

Title:  Automatic generation of loop invariants

Advisor:  Albert Rubio