Monday, April 18, 2011
4:00 PM -
5:00 PM
Moore B270
Computing + Mathematical Sciences Lecture
Software Synthesis using Automated Reasoning
Ruzica Piskac,
Ecole Polytechnique Federal de Lausanne, Switzerland,
"Software Synthesis using Automated Reasoning," Ruzica Piskac, Ecole Polytechnique Federal de Lausanne, Switzerland.
Event Sponsors:
For more information, please contact Sydney Garstang by phone at x4555 or by email at [email protected].