Computing + Mathematical Sciences Lecture
Moore B270
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.
For more information, please contact Sydney Garstang by phone at x4555 or by email at [email protected].
Event Series
Computing + Mathematical Sciences Lecture Series