Seminar • Software Engineering | Formal Methods • Towards Scalable and Usable Domain-Specific Automated Reasoning
Please note: This seminar will take place in DC 1304.
Federico Mora, PhD candidate
Department of Electrical Engineering and Computer Sciences
University of California, Berkeley