Decision Procedures for Program Synthesis and Verification

Thumbnail

Event details

Date 05.12.2011
Hour 17:00
Speaker Madame Ruzica Piskac
Location
Category Thesis defenses
Directeur de thèse : Prof. V. Kuncak Informatique

Practical information

  • General public
  • Free

Event broadcasted in

Share