• View
• Edit
• History
• Print

WM2012SEFMSession

Chair: John

10.30	Gerardo	Brief overview of my research
10.55	Wolfgang	To Be or Not To Be Created
11.15	Gabriele	First steps in floating point verification with KeY